I'm a PhD student of mathematics and computer science at Radboud University Nijmegen. My primary research interests are formal verification and programming language theory; additionally, I dabble in labelled transition systems and computability theory.

I am also known as jesyspa elsewhere on the net.