Projects

[2014-2018]
Name: Enhancing efficiency and expressiveness of the coinduction proof method.
Role: project leader.
Funding agency: NWO (Dutch Science organisation).
Personnel: Julian Salamanca (PhD, CWI).
Partners: Marcello Bonsangue (UL, CWI).

[2013-2017]
Name: BDE: Behavioural Differential Equations.
Role: project leader.
Funding agency: NWO (Dutch Science organisation).
Personnel: Henning Basold (RUN, CWI), PhD.
Partners: Herman Geuvers (RUN, TU/e), Helle Hansen (TUD, CWI).

[2010-2016]
Name: CORE: coinductive calculi of regular expressions.
Role: project leader (for CWI).
Funding agency: NWO (Dutch Science organisation).
Personnel: Joost Winter (PhD, CWI, UL) and Jurriaan Rot (PhD, UL, CWI).
Partner: Marcello Bonsangue (UL, CWI).

[2007-2009]
Name: SYANCO (Synthesis and Analysis of Component Connectors).
Role: member.
Funding agency: NWO/DFG.
Personnel: none.
Partners: Universities of Dresden, Tehran (Iran).

[2006-2010]
Name: Service-oriented Computing: Foundations and Calculi.
Role: project leader.
Funding agency: FCT, Portugal
Personnel: Alexandra Silva (PhD, CWI).
Partners: UL/LIACS (M. Bonsangue), University of Minho (L. Barbosa).

[2005-2008]
Name: Infinity.
Role: project leader.
Funding agency: NWO (FOCUS).
Personnel: Clemens Kupke (postdoc, CWI).
Partners: Jan Willem Klop (VUA), Vincent van Oostrom (UU).

[2005-2009]
Name: Formal methods for active networking.
Role: member.
Funding agency: Bsik/NWO BRICKS
Personnel: Stefanie Kemper (PhD, CWI).
Partners: Jos Baeten (TU/e), Erik de Vink (TU/e), Jaco van de Pol (CWI).

[2003-2007]
Name: Formal methods for Reo.
Role: project leader.
Funding agency: FCT Portugal.
Personnel: David Costa (PhD, CWI).
Partners: Farhad Arbab (CWI), Luis Barbosa (Univ. of Minho).

[2004-2007]
Name: CQuattro (developing a Compositional Calculus of Component Connectors).
Role: project leader.
Funding agency: NWO/EW.
Personnel: David Clarke (postdoc, CWI), Helle Hansen (PhD, VUA).
Partner: Farhad Arbab (CWI).

[2002-2006]
Name: Comolo (Coalgebraic modal logic).
Role: project leader.
Funding agency: NWO.
Personnel: Clemens Kupke (PhD, CWI, UvA).
Partners: Yde Venema (UvA), Bart Jacobs (KUN).

[2001-2003]
Name: COCON (Coalgebra and control).
Role: project leader.
Funding agency: NWO.
Personnel: Alexander Kurz (postdoc, CWI), Jan Komenda (postdoc, CWI).
Partner: Jan van Schuppen (CWI, VUA).

[1998-2003]
Name: PROMACS (PRObabilistic Methods for the Analysis of Continuous Systems).
Role: project leader
Funding agency: NWO.
Personnel: Alexandru Baltag (postdoc, CWI), Falk Bartels (PhD, CWI).
Partner: Jos Baeten (TU/e).

[1996-1998]
Name: CoLa (Formal methods and refinement for coordination languages).
Role: project leader
Funding agency: NWO
Personnel: Scutella (PhD, CWI).
Partners: Jaco de Bakker (CWI, VUA), Joost Kok (UL).

[1994-1996]
Name: HOOP (Higher-Order and Object-Oriented Processes).
Role: member.
Funding agency: NWO.
Personnel: Bart Jacobs (postdoc, CWI).
Partners: Jaco de Bakker (CWI, VUA), Jos Baeten (TU/e), Rosenberg (UL).

[1992-1995]
Name: MASK (Mathematical structures in semantics for concurrency).
Role: Coordinator.
Funding agency: EU/SCIENCE
Personnel: none.
Partners: J.W. de Bakker, CWI; P. Darondeau, INRIA Rennes; U. Montanari, Pisa;
F. Honsell, Udine; M. Majster-Cederbaum, Mannheim; and L. Priese, Koblenz.

[1991-1995]
Name: Non-well-founded sets and semantics of programming languages.
Role: project leader.
Funding agency: NWO.
Personnel: Daniele Turi (PhD, CWI).
Partner: Jaco de Bakker (CWI, VUA).