I am currently a postdoctoral researcher at ENS Lyon. 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 jurriaan.rot at ens-lyon dot fr.