Postdoctoral supervision
- Niels van der Weide, 2021 – 2022
- Jonathan Weinberger, 2021 – 2022
- Jacopo Emmenegger, 2020 – 2021
PhD supervision
- Kobe Wullaert, 2021 – present
- Tobias Schmude, 2020 – present
- Tom de Jong, co-supervised with M. Escardó, 2018 – 2022
- Auke Booij, co-supervised with M. Escardó, 2018 – 2020
- Calin Tataru, co-supervised with J. Vicary, 2019 – 2020
I have worked, in an inofficial capacity, with the following PhD students:
- Nikolai Kudasov, 2019 – present
- Ambroise Lafont, 2016 – 2019
- Régis Spadotti, 2013 – 2015
PhD committees
- Fabian Zickgraf, defended in May 2024 in Siegen, Germany
- Anne Baanen, defended in January 2024 in Amsterdam, Netherlands
- Gun Pinyo, viva in 2022 in Nottingham (remotely), United Kingdom
- Ambroise Lafont, defended in December 2019 in Nantes, France
BSc and MSc project supervision
- Arnoud van der Leer, Universal Algebra, Univalent Foundations and the Untyped λ-Calculus, 2024
- Niyousha Najmaei, The Internal Language of Comprehension Categories, 2024
- Boris Janssen, Bootstrapping and Generics for Statix, 2022
- Jesse Tilro, Case study on applying WebDSL and IceDust in conjunction, 2022
- Bram van Walraven, A Domain Specific Language for Modeling Intelligent Print Systems, 2022
- Nicholas Dyson, The solution to single-variable polynomials, implemented and verified in Lean, 2020-2021
- Callum August, Error-Correcting Linear Codes in Agda, 2020-2021
- Shutong Liu, Designing a peer-to-peer marketplace based on usability testing – EasyWork, 2020
- Mark Robinson, Automated proof-checking for natural deduction in propositional and first-order logic, 2020
- Ning Wei, Handwriting Recognition Model, 2020
- Mohammed Zameer, Sequence and Series tool in Java, 2020,
- James Ellis, Two Representations of Real Polynomials in HOL Light, 2019-2020
- Baomin (Rebecca) Fu, An Interactive Web Application for Healthcare, 2019
- Akshaya Tarigopula, Sudoku, 2019
Some suggestions for student projects can be found on my projects page.
This site is compiled with
nanoc.
Built from code written by Cyril Cohen.
