About me

I am a PhD student at Carnegie Mellon University. My advisor is Steve Awodey (in the picture on the left). My research is on Homotopy Type Theory.

steve_and_me

Advertisements