Jan Rutten

Affiliations and appointments

Senior researcher at CWI in the research group Formal Methods (formerly SEN3).
Group leader of CWI's research group Foundations of Software Engineering (SEN3) (1998-2009).
Professor of Theoretical Computer Science at the Radboud University Nijmegen (since 2009).
Professor of Theoretical Computer Science at the Free University Amsterdam (2001-2010).

Research Interests

Semantics, domain theory, coalgebra, component-based software engineering, service-oriented computing.


Voila my publications since 1995. See also my Google Scholar profile.


For an overview of past and present projects, click here.

Present and recent PC memberships

HSCC 2011, FSEN 2011, CALCO 2011, CONCUR 2011, CSDM 2011,
FICS 2012, CMCS 2012, Coordination 2012, MFPS 2012, IFIP TCS 2012,
ICALP 2013, CALCO 2013, FSEN 2013, CONCUR 2013, CSL 2013, FORTE/FMOODS 2013.


On 16-18 April 2012, the Milner Symposium was held in Edinburgh, in celebration
of the life and work of Robin Milner.

COIN: Coalgebra in the Netherlands, is a recently started bi-monthly seminar,
alternatingly taking place at CWI and the Radboud University Nijmegen.

CWI's Project Advisory Committee (PAC)
(CWI internal use only)

The main role of the PAC is the coaching of CWI employees with applications for large (individual) grants, such as
NWO's VENI, VIDI and VICI grants, and European ERC grants.
Please see the PAC's homepage for further information


Email address:
janr XYZ cwi.nl where XYZ = @

Postal address:
Prof.dr. J.J.M.M. Rutten
CWI, P.O. Box 94079, 1090 GB Amsterdam, The Netherlands

Visiting address:
CWI, Science Park 123, 1098 XG Amsterdam, The Netherlands

Phone: +31 20 592 4116
Fax : +31 20 592 4199