Jan Rutten

My new email address:
A@B where A = jjmmrutten and B=gmail.com

Affiliations and appointments

Senior researcher at CWI in the research group Formal Methods (formerly SEN3).
Professor of Theoretical Computer Science at the Radboud University Nijmegen.

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.

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:
A@B where A = jjmmrutten and B=gmail.com

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