I'm a fouth-year PhD student in the Mathematical Sciences Department at Carnegie Mellon University in Pittsburgh, advised by Steve Awodey. My research interests lie in category theory and logic; in particular, the categorical semantics of dependent type theory in the context of natural models. I also do a lot of teaching, and I work as a Senior Graduate Teaching Fellow at the Eberly Center. I did my BA and MMath degrees at Cambridge (Robinson College) from 2009 to 2013.
Information about and resources from my previous teaching can be found here.
Email. The best way to get hold of me is by sending an email to cnewstead-at-cmu-dot-edu.