**Clive Newstead**
Home
Talks
Other stuff

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**.