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 Graduate Teaching Fellow at the Eberly Center. I did my BA and MMath degrees at Cambridge (Robinson College) from 2009 to 2013.
|Semester||Course code||Course name||Role|
|Spring 2017||21-127||Concepts of Mathematics||Notes|
|Fall 2016||21-128||Mathematical Concepts and Proofs||TA & notes|
|Fall 2015||21-128||Mathematical Concepts and Proofs||TA|
|Summer II 2015||21-127||Concepts of Mathematics||Instructor|
|Fall 2014||21-259||Calculus in Three Dimensions||TA|
|Summer I 2014||21-256||Multivariate Analysis||Instructor|
|Spring 2014||21-127||Concepts of Mathematics||TA|
|Fall 2013||21-120||Differential and Integral Calculus||TA|
Email. The best way to get hold of me is by sending an email to cnewstead-at-cmu-dot-edu.