Email. The best way to get hold of me is by sending an email to cnewstead-at-cmu-dot-edu.
Office. Wean Hall 8205.
|Semester||Course code||Course name||Role|
|Summer II 2015||21-127||Concepts of Mathematics||Instructor|
|Spring 2015||—||Studying for qualifying exam; no teaching.||—|
|Fall 2014||21-259||Calculus in Three Dimensions||TA|
|Fall 2014 (Mini 1)||21-490||Undergraduate seminar||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|
Cubical sets. I'm in the process of writing up some notes on cubical sets. They're still in an early stage of development, but you can download them here (Last updated: 2013-11-26)
Topos Theory. In case it's of any use to future sufferers, I am keeping the web page online for the 2012–13 Part III Topos Theory course.
Lecture notes. I am maintaining a few sets of lecture notes that I have taken. Please let me know if you find any mistakes.
I'm a second-year PhD student at Carnegie Mellon University in Pittsburgh. I did my other degrees at Cambridge (Robinson College). My academic interests lie in category theory, topology and logic; I'm currently trying to learn all there is to learn about homotopy type theory.