I am associate professor at the Leiden Institute of Advanced Computer Science (LIACS) of the Leiden University.
From 2001 till 2006
I have been a research fellow of the Royal Dutch Academy of Arts and Sciences (in Dutch: KNAW).
Previously, I have worked at the Free University in Amsterdam and at the Centre for Mathematics and Computer Science (CWI) in Amsterdam.
I received my Ph.D. in Computer Science at the Free University in Amsterdam, in 1996, and my master in Computer Science at the University of Milano.
My research is on formal methods for concurrent and
object-oriented systems. Some keywords: coalgebras, algebra, modal
logic, category theory, type theory, principles of programming
languages, denotational semantics, operational semantics, domain
theory, metric spaces, coordination languages, process and
object-oriented calculi, pi-calculus, reasoning with names, Java, model
checking and testing.
Past and present PhD students
- Juan Guillen Scholten (completed 2007, Leiden University)
- Joost Jacob (completed 2008, Leiden University)
- Andries Stam(completed 2009, Leiden University)
- Andreas Gruener (completed in 2010, Leiden University)
- Alexandra Silva (completed in 2010, Radboud University of Nijmegen)
- Mohammad Izadi (completed in 2011, Leiden University)
- Stijn de Gouw (completed in 2013, Leiden University)
- Georgiana Caltais (completed in 2013, Radboud University of Nijmegen)
- Joost Winter (completed in 2014, Radboud University of Nijmegen)
- Bahman Pourvatan
- Jurrian Rot
- Julian Salamanca