### Teaching certification

- Fellow of the HEA
- PostGraduate Certificate in Higher Education, completed with distinction from University of Birmingham

### Ongoing and previous teaching activities

##### 2022 – 2023

- MSc seminar on Programming Languages
- MSc course “Software verification”
- MSc course “Category Theory for Programmers” (lecture notes on github, arXiv)
- BSc research project “Homotopy Type Theory”
- BSc research project “Category Theory in Lean”

##### 2021 – 2022

- MSc seminar on Programming Languages
- MSc course “Software verification”
- MSc course “Category Theory for Programmers” (lecture notes on github, arXiv)
- BSc research project “Homotopy Type Theory”

##### 2020 – 2021

- Module coordinator for 2nd-year module
**Functional Programming** - Lecturer for 1st-year module
**Theories of Computation**

##### 2019 – 2020

- Module coordinator for 1st-year module
**Logic and Computation**- Some lecture recordings for the Covid-19 period are online, see this YouTube playlist

##### School and Workshop on Univalent Mathematics 2019

- Organized by me, taught with many other lecturers and mentors
- See the dedicated website

##### Midlands Graduate School 2018

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

##### School and Workshop on Univalent Mathematics 2017

- Organized by me, taught with many other lecturers and mentors
- See the dedicated website

##### 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 site is compiled with
nanoc.
Built from code written by Cyril Cohen.