 |
De winnende scriptie `optimising techniques for model checkers' werd uit acht genomineerden als beste gekozen. Maker Viet Yen Nguyen ging naar huis met vijfhonderd euro, een chique oorkonde en een kunstwerk voor aan de muur. Zijn scriptie doet het goed. Eerder won hij ook al de UT-scriptieprijs en de scriptieprijs van het Nederlands Genootschap voor Informatici.
De ENIAC-jury beoordeelde alle ingediende scripties op basis van de wetenschappelijke en praktische aanpak, de moeilijkheidsgraad, de toegankelijkheid van het verslag voor specialisten en informatici en tot slot het algemeen nut van het onderzoek. Volgens juryvoorzitter Michel Boedeltje was het niveau van álle verslagen erg hoog, maar was de scriptie van Viet Yen Nguyen nét iets beter. `Viet Yen is niet gauw tevreden, zo blijkt. Hij onderzocht de optimalisatie van model checkers vanuit maar liefst drie perspectieven. Zijn aanpak van het probleem is helder en goed. Het onderzoek levert direct toepasbaar resultaat op. Bovendien is alles in de scriptie heel duidelijk beschreven. Het werk is daardoor ook voor niet-wiskundigen toegankelijk,' aldus de jury.
De onderscheiding kwam voor Viet Yen als een verrassing. `Iedere jury pakt de nominatie weer anders aan en de concurrentie was sterk,' aldus de winnaar. De informaticus denkt dat hij de prijs vooral te danken heeft aan de goede combinatie van theorie en praktijk welke methoden presenteert om te bewijzen dat een ontwerp van een computersysteem voldoet aan de eisen die eraan gesteld worden. `Het feit dat ik algoritmen bedacht en dat ik die ook heb geïmplementeerd, vond de jury vast erg sterk.'
Viet Yen studeerde eind vorig jaar af bij informatica. Hij werkt momenteel als onderzoeker bij de Universiteit Aachen aan een project voor ESA, de Europese ruimtevaartorganisatie. `Met deze drie scriptieprijzen op zak blijkt de tijd die ik mijn afstuderen heb gestoken een goede investering, maar toen ik ermee bezig was dacht ik alleen maar: afstuderen, afstuderen, afstuderen.'
