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.

2021/03/23 23:30 · sbscholz

This topic does not exist yet

You've followed a link to a topic that doesn't exist yet. If permissions allow, you may create it by clicking on Create this page.

  • master_s_thesis_students.txt
  • Last modified: 2021/03/23 23:42
  • by sbscholz