Sina Hazratpour

Postdoctoral Research Fellow in Mathematics

My Research Page @ Johns Hopkins University

Please see my personal website (my main online dwelling) for the most updated overview of my research work at Hopkins as well as previous projects, teachings, and my blog posts.


I am a postdoctoral research fellow at the Department of Mathematics of the Johns Hopkins University. My PI is Emily Riehl. I work with Emily and other members of MURI HoTT group in advancing the aims of constructive synthetic homotopy theory.

From Nov 2020 to Oct 2021, I worked with Nicola Gambino at the University of Leeds Logic group. This culminated in a joint work with Steve Awodey on Kripke Joyal semantics for Homotopy Type Theory which can be found here: arXiv:2110.14576v1

Before my short postdoc position at Leeds, I was a PhD student in the theory of computation group in the school of Computer Science 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 and was examined by Martin Escardo and Peter Johnstone. You can find my PhD thesis here: (PhD Thesis, Uniersity of Birmingham, Nov 2019)


With Maru Sarazola and Tim Campion we are organizing Topology Seminar at Johns Hopkins. Here is the website of the seminar where you can find the list of speakers, talks, and abstracts:

If you are interested in giving a talk, either in person at Hopkins or via Zoom, please drop a line.





405 Krieger School of Arts and Sciences, Johns Hopkins University