Dr. Sina Hazratpour

Dr. Sina Hazratpour


I obtained a BSc in Mathematics (Ferdowsi University, 2013) and an MSc in Pure Mathematics (The University of Western Ontario, 2015). I received my PhD in Computer Science from the University of Birmingham in December 2019. In November 2019, I joined the School of Mathematics at the University of Leeds as a Research Fellow. I am part of the Leeds Logic Group and work with Professor Nicola Gambino. 

Research interests

  • Univalent Models of Homotopy Type Theory
  • Cubical Type Theory
  • Categorical Semantics Of Dependent Type Theory 


  • PhD in Theoretical Computer Science, University of Birmingham, UK
  • MSc in Pure Mathematics, Univeristy of Western Ontario, Canada