My Research Page @ Johns Hopkins University
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:
https://jhu-top-seminar.github.ioIf you are interested in giving a talk, either in person at Hopkins or via Zoom, please drop a line.