Mathematical Foundations of Software

    print · login   

Researchers

Staff members

Image
prof. dr.
Herman Geuvers
theme coordinator
Image
dr. ir.
Pieter Cuijpers
(0,2fte)
Image
dr.
Cynthia Kop
Image
prof. dr.
Robbert Krebbers
vice department head
Image
dr.
Jurriaan Rot
Image
dr.
Jana Wagemaker
Image
dr.
Freek Wiedijk

PhD students and postdocs

Image
db missing
person id 'NvdW'
Image
db missing
person id 'LG'
Image
MSc
Kasper Hagens
Image
MSc
Lasse Blaauwbroek
Image
MSc
Michail Karatarakis
Image
MSc
Bálint Kocsis
Image
db missing
person id 'LuM'
Image
MSc
Ruben Turkenburg
large image