Work   (retired 29 April 2022)

Former position and roles:

Students: Graduation students and PhD students

Some former colleagues:     Adam Belloum      
Jan Bergstra
Bob Diertens
Wan Fokkink
Paola Grosso
Andy Pimentel
Femke van Raamsdonk
Piet Rodenburg
Steven de Rooij
Christian Schaffner

Theoretical Computer Science day Amsterdam (TCSA): TCSA'09, TCSA'10, TCSA'11, and TCSA'13

CV / Dutch CV (25 August 2014, PDF)


My personal website

    Last modified: October 8, 2025