I am assistant professor at Radboud University Nijmegen. I received my PhD degree at LIACS, the computer science department of Leiden University, under supervision of Marcello Bonsangue, Jan Rutten and Frank de Boer. I am interested in theoretical computer science in general, and coalgebra, semantics, formal languages and verification in particular.

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