LIACS > Home


Marcello Bonsangue is associate professor at the Leiden Institute of Advanced Computer Science (LIACS) of Leiden University, The Netherlands.

He studied computer science at the University of Milano, Italy and got is PhD in 1996 from the Free University of Amsterdam, The Netherlands.

Currently he is member of the research group cluster Foundations of Software Technology at LIACS and of the research group Formal Methods at the Centre for Mathematics and Computer Science (CWI) in Amsterdam, The Netherlands.

Marcello Bonsangue is the director of education of the LIACS, coordinator for the international students and relationships, member of the LIACS management team, and member of the Scientific Council of  LIACS.


Image Foundation of Software Testing - Fall 2019

Research Interest

Foundations of computer science: Algebra, coalgebra, automata theory, modal logic, category theory, type theory, domain theory, metric spaces, program semantics.

Formal methods: program verification and specification, model checking, testing of software systems, process and object-oriented calculi, coordination languages, pi-calculus, reasoning with names.


  • t.b.d.


  • NWO: ECoPro: Enhanced Coinductive Proofs (2014-2018)
  • NWO: CoRE: Coinductive Calculi of Regular Expressions (2010 - 2015)
  • COST Action: Formal Verification of Object-Oriented Software


  • Member of the IFIP WG 1.3 "Foundations of System Specification".
  • Member of the IEEE Benelux Embedded System Chapter.

  • Member of the editorial board of the Journal of Software Academy Publisher.
  • Member of the editorial board of Open Computer Science, De Gruyter Open.

  • Member of the Steering Committee of CMCS

PhD Students

  • Wengjing Chu
  • Jana Wagemaker
  • Feng Hui
  • Julian Salamanca (completed in Mar 2018)
  • Jurriaan Rot (completed in Oct 2015)
  • Joost Winter (completed in Jul 2014)
  • Georgiana Caltais (completed in Dec 2013)
  • Stijn de Gouw (completed in Dec 2013)
  • Mohammad Izadi (completed in Dec 2011)
  • Alexandra Silva (completed in Dec 2010)
  • Andreas Gruener (completed in 2010)
  • Andries Stam (completed 2009)
  • Joost Jacob (completed 2008)
  • Juan Guillen Scholten (completed 2007)