Afstudeerpagina Frits Vaandrager

Algemeen

Op deze pagina beschrijf ik suggesties voor afstudeerprojecten. Het allerbelangrijkste bij het kiezen van een afstudeeronderwerp (en voor veel meer) is passie: het onderwerp moet je interesseren, fascineren, je moet het leuk vinden, het moet je raken. 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 er een andere docent is die meer over dit 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 cursus Analysis of Embedded Systems komen onderwerpen aan de orde waar ik onderzoek naar doe maar ook op mijn website kun je de nodige informatie vinden.

Projecten

• 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.
• Recent is een project gestart van Jan Tretmans en mij dat gaat over het leren van (extended) state machines. In dit project werken we samen met Chess, Collis, Axini, NLnet Labs en Oce. Er zijn hier diverse interessante practische case studies en stages maar ook uitdagende theoretische vragen te formuleren. Heel interessant is ook om deze technologie te gebruiken voor het analyseren van security protocollen (zie bijvoorbeeld ons artikel over het biometrisch paspoort). Op dit terrein werken we ook samen met de afdeling Digitial Security.
• 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.
• Het koppelen van de Tempo toolset en Uppaal. (in samenwerking met MIT en de Universiteit van Aalborg)

Buitenland!

Zelf heb ik ooit anderhalf jaar in het buitenland vertoefd. Ik kan dit iedereen aanraden! Het is vakinhoudelijk opwindend, buitengewoon leerzaam, boeiend om kennis te maken met andere culturen, leuk, en daarnaast erg 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.

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?