Dissertatieprijs voor voorkomen softwarefouten met kansmodellen

Het Institute for Programming Research and Algorithmics (IPA) heeft zijn dissertatieprijs voor 2013 toegekend aan Mark Timmer, die vorig jaar cum laude promoveerde aan de Universiteit Twente. Zijn proefschrift gaat over het voorkomen van softwarefouten middels het wiskundige kansmodel van Markov-automaten. Timmer voerde zijn onderzoek uit binnen de vakgroep Formele Methoden & Tools, onder begeleiding van Joost-Pieter Katoen, Jaco van de Pol en Mariëlle Stoelinga. Momenteel werkt hij als wiskundedocent op een middelbare school in Raalte.

Het IPA is een interuniversitaire KNAW-onderzoeksschool, met als hoofddoel het opleiden in programmeeronderzoek en algoritmes. Dit omvat de bestudering en ontwikkeling van formalismen, methodes en technieken voor het ontwerpen, analyseren en construeren van softwaresystemen en -onderdelen. Aan de school nemen groepen deel van het Centrum Wiskunde en Informatica, de Radboud Universiteit Nijmegen, de Rijksuniversiteit Groningen, de TU Delft, de TUE, de Universiteit Leiden, de Universiteit Utrecht, de UT, de UvA en de VU.