Affiliations and appointments
As of 1 March 2019, I have retired.
I used to be a researcher
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
See also my Google Scholar
For an overview
of my past projects,
where A = jjmmrutten and B=gmail.com
P.O. Box 94079,
1090 GB Amsterdam,