**Clive Newstead**
Home
Talks
Other stuff

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.