
Dr. Sina Hazratpour
- Position: Research Fellow
- Areas of expertise: Category Theory; Topos Theory; Type Theory and Categorical Logic; Formal Proof Assistants
- Email: S.Hazratpour@leeds.ac.uk
- Location: 10.04 School of Mathematics
- Website: Website | Twitter
Profile
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
Qualifications
- PhD in Theoretical Computer Science, University of Birmingham, UK
- MSc in Pure Mathematics, Univeristy of Western Ontario, Canada