Jurriaan Rot wins IPA Dissertation Award 2015
The Dutch research school IPA has awarded former LIACS PhD student Jurriaan Rot with the IPA Dissertation Award 2015. In his PhD thesis Rot studies coinduction, a relatively new mathematical technique that makes it possible to define and prove properties of circular and infinite data structures.
Rot has improved coinduction, providing fundamental knowledge for more recent work. Based on his work, one of the fastest currently existing algorithms has been developed for checking state equivalence of non-deterministic systems.
IPA is the national interuniversity research school for Programming research and Algorithmics, recognized by the Royal Dutch Academy of Sciences (KNAW). Jurriaan Rot carried out his research at the Leiden University, in cooperation with the Centre for Mathematics & Computer Science (CWI) in Amsterdam. He was supervised by Marcello Bonsangue (LIACS), Frank de Boer (LIACS/CWI) and Jan Rutten (CWI). After his PhD, Rot worked at Ecole Normale Supérieure de Lyon as a postdoctoral researcher, and this week, he will start a tenure track position at the Radboud University Nijmegen.