I'm a fouth-year PhD student in the Mathematical Sciences Department at Carnegie Mellon University in Pittsburgh. My advisor is Steve Awodey.
My research interests are in category theory and logic—see below for more on this. I also do a lot of teaching, which I really enjoy, and I work as a Senior Graduate Teaching Fellow at the Eberly Center.
I grew up in Yorkshire, a region in the north of England, and I did my BA and MMath degrees at Cambridge (Robinson College) from 2009 to 2013.
Research
I am interested in the interactions between category theory and mathematical logic, and particularly in the categorical semantics of dependent type theory and related areas. Currently, I am investigating higher-dimensional abstract structures associated with polynomials in locally cartesian closed categories, and using natural models to study their relationship with dependent types.
This summer I will be participating in the Categories of Models of Type Theory group at the AMS Mathematical Research Community workshop on Homotopy Type Theory in Snowbird, UT.
A list of talks I have given at seminars and conferences can be found here.
Teaching
This summer I will be teaching 15-151 Mathematical Foundations for Computer Science for the Summer Academy for Mathematics and Science at Carnegie Mellon.
Information about and resources from my previous teaching can be found here.
Contact info
The best way to get hold of me is to send an email to cnewstead-at-cmu-dot-edu.