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 Institute for Programming research and Algorithmics, an inter-university Dutch research school recognized by the Royal Dutch Academy of Sciences (KNAW). Its principal goal is to educate researchers in the field of programming research and algorithmics. Jurriaan Rot carried out his research at the Leiden University, in cooperation with the Centrum Wiskunde & Informatica (CWI) in Amsterdam. He was supervised by Marcello Bonsangue (LIACS), Frank de Boer (LIACS/CWI) and Jan Rutten (CWI and RUN). After his PhD, Rot worked at Ecole Normale Supérieure de Lyon as a postdoctoral researcher, and he will start a tenure track position at the Radboud University Nijmegen.
Source: Leiden University
See also the news item 'Cum laude for PhD student Jurriaan Rot' (October 2015)
Information on the IPA website: Jurriaan Rot receives the award for the best IPA dissertation of 2015 for his thesis Enhanced Coinduction, which studies fundamental enhancements to the coinduction proof and definition technique.