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).
|