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.
- 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