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.