Jan Rutten

A textbook on coalgebra and coinduction

As of 8 July 2018, a draft of a textbook on coalgebra and coinduction is available on my publications page.

Affiliations and appointments

Senior researcher at CWI in the research group Formal Methods .
Professor of Theoretical Computer Science at the Radboud University Nijmegen.

Publications

Voila my publications. See also my Google Scholar profile.

Recent activities

(Co)organiser Shonan Workshop on Enhanced Coinduction, Japan, 2017.
Attending IFIP WG1.8 Workshop on Open Problems in Concurrency Theory (OPCT'17), Vienna, 2017.
Invited talk at Algebra and Coalgebra meets Proof Theory (ALCOP VIII), Glasgow, 2017.
Academy of Finland / Computer Science review panel, Helsinki, 2017.
Member of Programme Committee FOSSACS 2017.
Member of Programme Committee CALCO 2017.
Invited lecture at Mathematical Modeling of Complex Systems, Paris, 2016.
(Co)organisor of CWI Lectures 2016 on Van Wijngaarden, CWI, 2016.
Invited tutorial at Automata, Logic and Games, Singapore, 2016.
Invited course at IPM Winterschool, Tehran, 2016.

Projects

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

Contact

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

---

CWI DISCLAIMER

---