PhD Students

• Cas van der Rest. Promoter: Neil Yorke-Smith
• Jaro Reinders. Promoter: Matthijs Spaan
• Luka Miljak. Promoter: Andy Zaidman
• Daniël Pelsmaeker. Promoter: Andy Zaidman
• Aron Zwaan. Promoter: Arie van Deursen

Current MSc Students

• Chris Lemaire: Interderiving Effect Handler Semantics (working title)
• Terts Diepraam: Hefty Algebras for Language Specification (working title)
• Ruben van Baarle (co-supervised with Andrew Tolmach): A Back-End for Dynamix (working title)

Graduated MSc Students

• Thijs Molendijk (2022; co-supervised with Eelco Visser and Andrew Tolmach): Dynamix: A Domain-Specific Language for Dynamic Semantics
• Wesley Baartman (2022): Towards Automatic Test Suite Generation for Functional Programming Assignments using Budgeted Compositional Symbolic Execution
• Gerben Oolbekkink (2022): Describing Inter Parameter Constraints in Web APIs Using Dependent Types
• Bernard Bot (2021): Compiling with Command Trees
• Albert ten Napel (2019; co-supervised with Robbert Krebbers): A type system for dynamic instances
• Wiebe van Geest (2018): Dependent Types for Invariants in Session Types