##### Midlands Graduate School 2018

- Lecture 1 – Type theory
- Lecture 2 – Univalent foundations
- Lecture 3 – Sets
- Lecture 4 – Categories
- Exercises
- Agda file

##### 2016 – 2017

- Instructor and T.A. for “Mathematics for Biologists, Physicists and Chemists”, Université Nantes

##### 2014 – 2015

##### 2011 – 2012

- Instructor and T.A. in Game Theory
- T.A. in Mathematics for Biology
- T.A. in Mathematics for Economy
- T.A. in Discrete Mathematics – Mathematical Logic

##### 2010 – 2011

- T.A. in Algebra
- T.A. in Discrete Mathematics – Mathematical Logic

##### 2009 – 2010

- T.A. in Mathematics for Biology
- T.A. in Algebra

##### 2008 – 2009

- T.A. in Mathematics for Biology
- T.A. in Algebra

##### 2006 – 2007

- T.A. in Linear Algebra

This page was last updated at
2018-04-13 14:28:58 -0700

This site is compiled with
nanoc.
Built from code written by Cyril Cohen.