Leiden University

Marcello M. Bonsangue
Teaching


home    contact    LIACS


- Home
- Teaching
- Publications
- Projects
      - CREDO
      - Syanco
      - MobiJ II
      - Others
- Activities
- Contact


Current projects


Past projects

  • LIACS project leader of the ITEA 2/Senter project Trust4All (2005 - 2007).
  • Member of the European Project IST 2001-33522 OMEGA: correct development of real-time embedded systems in UML (2002 - 2005).
  • LIACS project leader of the Dutch project ArchiMate: an integrated approach to architectures (2001 - 2004).
  • Dutch coordinator of the NWO/DFG project MobiJ: Assertional methods for mobile channels in Java (2001 - 2004).
  • Research fellow of the KNAW project Semantics component composition (2004- 2006).
  • Research fellowship of the KNAW project A semantics approach to component-based software (2001- 2004).
  • Member of the NWO/SION project CoLa: Formal Methods for Coordination Languages (1997 - 2000).
  • Member of the European Esprit Working Group 24512 Coordina: Coordination Languages - theory and applications (1997 - 2000).
  • Member of the SCIENCE project MASK: Mathematical Structures in Semantics for Concurrency (1992-1995).


previous page Edited 8 April 2008
Copyright © Marcello Bonsangue
Go to top