Mathematical Foundations of Software

    print · login   

Researchers

Staff members

Image
prof. dr.
Herman Geuvers
theme coordinator
Image
prof. dr.
Frits Vaandrager
Image
dr.
Cynthia Kop
Image
dr.
Robbert Krebbers
vice department head
Image
dr.
Jurriaan Rot
Image
dr.
Freek Wiedijk
Image
dr. ir.
Pieter Cuijpers

PhD students and postdocs

Image
dr.
Niels van der Weide
Image
MSc
Ruben Turkenburg
Image
dr.
Deivid Vale
Image
MSc
Liye Guo
Image
MSc
Kasper Hagens
Image
MSc
Jules Jacobs
Image
db missing
person id 'MH'
Image
ir.
Ike Mulder
Image
MSc
Michail Karatarakis
Image
MSc
Lasse Blaauwbroek
large image