Sina Hazratpour

Research Fellow in Pure Mathematics

My Research Home Page at Leeds Univeristy


Welcome to my research home page at the University of Leeds. I am a research fellow at the School of Mathematics of the University of Leeds. I am part of the Leeds Logic Group and I work with Professor Nicola Gambino on the project Univalent type theories: models, equalities, and coherence. More specifically, one of the main goals of this project is to develope a Kripke-Joyal style semantics for Higher Toposes.

Previously, I was a PhD student in the theory of computation group at Birmingham working under the supervision of Steve Vickers. I received my PhD in Computer Science from the University of Birmingham in December 2019. My thesis investigated some of the 2-categorical aspects of Grothendieck toposes from a logical prespective. You can find my PhD thesis here: (PhD Thesis, Uniersity of Birmingham, Nov 2019)

News and events


We are organising the next Peripatetic Seminar on Sheaves and Logic (PSSL 106) on the weekend of April 4th-5th 2020 at the School of Mathematics, University of Leeds (UK).
Further Information ...



School of Math 10.04, University of Leeds