MSc students
I have supervised many MSc students covering a wide range of topics from more theoretical aspects to very practically oriented ones. Here a list of the most recent/current MSc students:
2020/06/20 Folkert de Vries
Folkert is working on a new formulation of uniqueness typing that aims at combining the conceptual advantages of Edsko de Vries' type system with the practical benefits of Sjaak Smetsers et al.'s system implemented in Clean.
Folkert finished his thesis in September 2020.