About

Current position

PhD student at the Bernoulli Institute, University of Groningen (NL) for the VIDI project Unifying Correctness for Communicating Software under the supervision of Jorge A. Pérez.

Studies

I have obtained my MSc in Logic at the ILLC, University of Amsterdam (thesis under supervision of Jorge A. Pérez and Alban Ponse) and my BSc in Computer Science at the University of Amsterdam (thesis under supervision of Bob Diertens and Alban Ponse)

Past jobs

I have been a Teaching Assistant for several courses taught by Alban Ponse and Inge Bethke at the University of Amsterdam and the Vrije Universiteit Amsterdam. Moreover, I have worked at Het Zwarte Fietsenplan for many years, developing and maintaining their internal management website, as an employee and more recently as a freelance developer.