About

ik

I am an associate professor at Radboud University. I am interested in theoretical computer science in general, and coalgebra, semantics, formal languages and verification in particular.

Previously, I received my PhD degree at Leiden University, under supervision of Marcello Bonsangue, Jan Rutten and Frank de Boer.

My email address is jrot at cs dot ru dot nl.