Jan Rutten

Affiliations and appointments

As of 1 March 2019, I have retired.

I used to be a researcher at CWI in the research group Formal Methods .
Previously, I was a professor of Theoretical Computer Science at the Radboud University in Nijmegen,
and before that, at the Vrije Universiteit in Amsterdam.

A textbook on coalgebra and coinduction

My textbook on coalgebra and coinduction, from February 2019, is available on my publications page.


Voila my publications. See also my Google Scholar profile.


For an overview of my past projects, click here.


Email address:
A@B where A = jjmmrutten and B=gmail.com

Postal address:
CWI, P.O. Box 94079, 1090 GB Amsterdam, The Netherlands