About

ik

I am a Marie Curie fellow at University College London. Previously, I was an assistant professor at Radboud University; I will return to this post in 2020. 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.