I am an associate professor at Radboud University. I am interested in theoretical computer science in general, and coalgebra, automata learning 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 jurriaan.rot@ru.nl