A textbook on coalgebra and coinduction
As of 8 July 2018, a draft of a textbook on coalgebra and coinduction is available
Affiliations and appointments
the research group
Formal Methods .
Professor of Theoretical Computer Science
Radboud University Nijmegen.
See also my Google Scholar
(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.
For an overview
of past and present projects,
where A = jjmmrutten and B=gmail.com
P.O. Box 94079,
1090 GB Amsterdam,
CWI, Science Park 123, 1098 XG Amsterdam,
Phone: +31 20 592 4116