17 jan. 2008
2 minuten
Aia Software heeft voor de vijfde maal de Aia Software Awards uitgereikt. Deze awards worden toegekend aan de beste scripties van informaticastudenten van de Radboud Universiteit Nijmegen. De prijs voor de meest aansprekende masterscriptie is toegekend aan ‘Verification of Fiasco’s IPC implementation’ door Erik Schierboom. De prijs voor de beste bachelorscriptie is gewonnen door Martin […]
Aia Software heeft voor de vijfde maal de Aia Software Awards uitgereikt. Deze awards worden toegekend aan de beste scripties van informaticastudenten van de Radboud Universiteit Nijmegen. De prijs voor de meest aansprekende masterscriptie is toegekend aan ‘Verification of Fiasco’s IPC implementation’ door Erik Schierboom. De prijs voor de beste bachelorscriptie is gewonnen door Martin van de Goor voor zijn scriptie: ‘Genetische algoritmen en parallellisme’. De jury bestaat uit docenten van de faculteit Informatica van de Radboud Universiteit Nijmegen en vakgenoten van Aia Software. De uitreiking vond plaats tijdens de viering van het twintigjarig bestaan van het softwarehuis.
Foto: De uitreiking met van links naar rechts: Leon Pillich, managing director van Aia software, Martin van de Goor, winnaar Aia Software Bachelor Award, Erik Schierboom, winnaar Aia Software Master Award en Paul Dirven, algemeen directeur van Aia Software
Paul Dirven, algemeen directeur Aia Software: “Betrouwbaarheid is essentieel bij de bouw van een besturingssysteem. Er wordt namelijk veel tijd en geld in geïnvesteerd. Een zogeheten correctheidsbewijs van programma’s is de heilige graal van de informatica. Erik heeft met zijn onderzoek hierover zowel praktisch als theoretisch een aansprekend resultaat bereikt. Dit gedegen onderzoek verdient de toekenning van de Master Award. Als softwareontwikkelaars, zelf voor een groot deel afkomstig van de Nijmeegse universiteit, vinden wij het belangrijk om het onderwijs en onderzoek in de informatietechnologie te stimuleren. De bergen informatie die zich ophopen op het internet en binnen het gemiddelde bedrijf zijn de uitdaging van de toekomst: vinden wat je zoekt.”
Master Award
De masterscriptie van Erik Schierboom gaat over het verbeteren van de betrouwbaarheid van besturingssystemen. Hij heeft in zijn scriptie "Verification of Fiasco’s IPC implementation" de zoektocht naar een correctheidsbewijs gecombineerd met het bewijzen van eigenschappen van een bepaald microkernel, met de naam ‘Fiasco’. Erik heeft met behulp van formele bewijstechnieken een abstract testmodel gemaakt van Fiasco. Met dit model zijn twee eigenschappen van de kernel getest en bewezen. De derde eigenschap kon niet worden bewezen, het bleek dat dit werd veroorzaakt door een fout in de implementatie van Fiasco. Met dit onderzoek heeft Erik bewezen dat het mogelijk is een abstract testmodel te gebruiken om eventuele fouten te vinden in de broncode van de kernel.
Bachelor Award
Martin van de Goor heeft in zijn bachelorscriptie onderzoek gedaan naar genetische algoritmen en parallellisme. Genetische algoritmen zijn een subklasse van zoekalgoritmen die voor bepaalde zoekvragen bijzonder geschikt zijn. Martin heeft onderzocht welke voordelen het oplevert als genetische algoritmen parallel worden uitgevoerd. Hiermee kunnen problemen met zoekvragen, waar uit een groot aantal mogelijke oplossingen de meest optimale wordt gezocht, worden opgelost. De jury is van mening dat Martin in zijn scriptie de materie helder uitlegt en het nut en de noodzaak van dit onderwerp duidelijk brengt.