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.

Publications

Voila my publications. See also my Google Scholar profile.

Projects

For an overview of my past projects, click here.

Contact

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

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


CWI DISCLAIMER