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