Afstudeerpagina Frits Vaandrager

Algemeen

Op deze pagina beschrijf ik suggesties voor afstudeerprojecten. Een afstudeeronderwerp moet je interesseren, fascineren, en je moet het leuk vinden. Wanneer je zelf een onderwerp hebt bedacht waarop je wilt afstuderen juich ik dat toe, ook al heeft het niet direct te maken met mijn eigen onderzoek. Natuurlijk moet er wel een duidelijke relatie zijn met Informatica/Informatiekunde, en als een andere docent meer over een onderwerp weet dan zal ik je daar naar verwijzen. Afhankelijk van je belangstelling kan ik theoretische maar ook zeer practische opdrachten begeleiden.

Wanneer je mij vraagt om suggesties voor afstudeerstages zal ik zoeken naar iets dat zowel aansluit bij jouw interesses als bij mijn eigen onderzoek. In de cursussen Analysis of Embedded Systems (AES) en Testtechnieken komen onderwerpen aan de orde waar ik onderzoek naar doe.

Projecten

• Jan Tretmans en ik zijn dringend opzoek naar een afstudeerder die wil werken aan een afstudeeropdracht bij OCE.
• Ik ben ook dringend op zoek naar studenten die interesse hebben in een afstudeerstage bij ASML.
• Een aantal studenten hebben bij de cursus AES gewerkt aan het toepassen van model checking voor het analyseren van de software voor assemblagemachines die gebouwd worden door de afdeling ITEC van NXP in Nijmegen. De uitkomsten waren zeer veelbelovend en we zijn dringend op zoek naar een afstudeerder die dit verder wil uitwerken.
• Recent is het ITALIA project gestart dat gaat over het leren van (extended) state machines. In dit project werken we samen met een aantal bedrijven Chess, Collis, Axini, NLnet Labs en Oce. Binnen ITALIA zijn diverse interessante practische stages beschikbaar, maar je kunt ook bijdragen aan ons software tool Tomte, en er zijn nog veel theoretische vragen die te maken hebben met automatentheorie. We gebruiken leertechnologie ook voor het analyseren van security protocollen (zoals het biometrisch paspoort, het EMV protocol, en ABN AMRO internet bankieren). Op dit terrein werken we nauw samen met de afdeling Digitial Security.
• NLnet Labs zoekt een afstudeerder die wil werken aan het modeleren en analyseren van DNSSEC Key Rollovers: "DNSSEC is a public key cryptography on top of DNS to add origin authentication and data integrity. Key rollovers are an essential part of DNSSEC. These rollovers are time critical, error prone processes and a mistake could break DNSSEC validity. We present a new method that is more flexible and more robust." Rollovers worden traditioneel geimplementeerd vanuit het perspectief van de DNS operator, degene die de data 'served'. Onze aanpak heeft als voordeel ten opzichte van de huidige praktijk dat het rollovers bekijkt vanuit het perspectief van de resolver, degene die de data moet valideren. Deze nieuwe methode leent zich volgens NLnet Labs goed om te modelleren.
• Binnen het Octopus project hebben we een tool ontwikkeld voor design space exploratie van embedded systemen (ihb Oce printers). Er zijn diverse projecten te formuleren om dit tool verder te verbeteren of toe te passen binnen andere bedrijven.
• Diverse projecten rondom het toepassen en verbeteren van de Uppaal model checker.

Buitenland!

Zelf heb ik ooit anderhalf jaar in het buitenland vertoefd: eerst in Boston/Cambridge, VS bij het MIT en toen in Zuid Frankrijk bij de Ecole des Mines. Ik kan dit iedereen aanraden! Het is vakinhoudelijk opwindend, buitengewoon leerzaam, boeiend om kennis te maken met andere culturen, leuk, en daarnaast goed voor je carriere. Door gebruik te maken van mijn wetenschappelijk netwerk heb ik voor studenten stages geregeld in bijvoorbeeld Oxford, Aarhus, Uppsala, New York, Toulouse en bij de Universiteit van Connecticut. Op de wiki van onze afdeling MBSD staat een overzicht van de belangrijkste buitenlandse contacten van onze afdeling. Maar ons internationale netwerk is nog veel groter. Op dit moment zoek ik ihb studenten die geinteresseerd zijn in een stage in Uppsala.

Weddenschap: Noem een onderwerp op het terrein van model based system development, noem een plaats (ze moeten daar natuurlijk dan wel op niveau werken aan dat onderwerp) en ik regel een stage voor je. Als tegenprestatie ontvang ik dan een ansichtkaart vanaf je stage-adres. Lukt het mij niet om de gewenste stage voor je te regelen dan krijg je van mij een boekenbon van 50 euro (te besteden aan een informatica/informatiekunde tekstboek).

Interesse?