About

ik

I am an assistant professor at Radboud University. In 2019, I am based at University College London, supported by a Marie Curie fellowship. 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.