I'm a fouth-year PhD candidate in Mathematical Sciences at Carnegie Mellon University in Pittsburgh, advised by Steve Awodey. My research interests lie in category theory, topology and logic; I'm currently working on 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.
Office hours. I will be in my office (Wean Hall 8205) and available to meet with students at the following times:
Tuesdays 11:00–12:00 and Fridays 10:00–11:00
If you can't make the office hours and you need my help, I'm just an email away.