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.


Voila my publications. See also my Google Scholar profile.


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

PAC -- Project Advisory Committee (CWI internal use only):

The main role of the PAC is the coaching of CWI employees with applications for
(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:
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