I am fortunate to work with (and learn from) a fantastic group of young researchers!
Current PhD Students
Research on linear logic and session-based concurrency.
Thesis (Forthcoming): On the Expressivity of Typed Concurrent Calculi
Former PhD Students and Postdocs
PhD student, co-supervised with Vanja Pantović. Thesis: Relative Expressiveness of Process Calculi with Dynamic Update and Runtime Adaptation [LINK]
BSc and MSc Students (Incomplete)
MSc students
Jeroen Brandsma (2018, co-supervised with Paris Avgeriou)
Firat Sertgoz (2018, co-supervised with Marco Aiello)
Bas van den Heuvel (2019, UvA - co-supervised with Alban Ponse)
BSc students
Elton Antonis (2018, Honours College and BSc Thesis)
Alexandru Babeanu (2018, co-supervised with Mauricio Cano)
Barnabas Busa (2018, co-supervised with Vasilios Andrikopoulos)
Alex Keizer (2020, UL - main supervisor Henning Basold)
Daan Raatjes (2018, Honours College)
Luis D. Reyes (2020)
Ana Roman (2017)
Kanghu Shi (2020, Honours College)
Bianca Udrescu (2019)
Jakob Vokac (2019)
Erik Voogd (2018)
Folkert de Vries (2018)
Evi Xhelo (2019)
Work with us!
BSc / MSc students: please see here.
PhD students and Postdocs: at the moment I don't have any vacancies - stay tuned!
If you have your own source of funding (already acquired):
Send me an email including a CV, transcripts of academic records, and a one-page description of your research interests.