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
(0,2fte)

PhD students and postdocs

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