Teaching

Master courses at TUDelft

Academic year 2021/2022:

• Software verification
• Category Theory for Programmers

Academic year 2022/2023:

• Software verification
• Category Theory for Programmers

Academic year 2024/2025

• Category Theory for Programmers

The course repository for “Category Theory for Programmers” is maintained at GitHub; B. Ahrens..

(co)Supervision

Bachelor

• Research project: Literature Survey on Homotopy Type Theory [2021/2022; 2022/2023; 2024/2025]

Master

• [2023/2024] Niyousha Najmaei: The Internal Language of Comprehension Categories
• [2022/2024] Arnoud van der Leer: Universal Algebra, Univalent foundations and the Untyped lambda-calculus

Others

• Workshop on computational programming [22/04/2024]
• Tutoraatproject [2015/2016;2016/2017]