Marcello M. Bonsangue

I am assistant 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.