| || |
Marcello M. Bonsangue
|home contact LIACS|
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).
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.