People
PhD Students
Software Engineers
Past PhD Students
Cas van der Rest (now a formal methods engineer at IOHK)
Past MSc Students
- Ivan Todorov (cum laude)
- Eben Rogers
- Olek Wolska
- Terts Diepraam
- Chris Lemaire
- Thijs Molendijk
- Wesley Baartman
- Gerben Oolbekkink
- Bernard Bot
- Chiel Bruin (co-supervisor)
- Albert ten Napel (co-supervisor)
- Wiebe van Geest