Leiden University

Marcello M. Bonsangue


home    contact    LIACS


- Home
- Teaching
- Publications
- Projects
- Activities
- Contact

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.






Research

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.




Quick Links

Current teaching

Events (I am involved in)

PhD Students

Current projects

 



previous page Edited 18 February 2012
Copyright © Marcello Bonsangue
Go to top