Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 Afstuderen
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.
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.
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, New York en Toulouse.
Kijk hier
eens voor 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 informatica voor technische toepassingen, 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).
Bedrijven
Ik werk veel samen samen met bedrijven, onder andere Philips, Oce, ASML en Bosch.
Zie hier voor een overzicht
van de bedrijven waar mijn afdeling op dit moment mee samenwerkt.
Concrete opdrachten waar ik op dit moment afstudeerders voor zoek zijn:
Universiteit
Drie concrete onderwerpen (maar er zijn er veel meer!) uit mijn eigen onderzoek waar ik graag samen met een afstudeerder aan
zou willen werken zijn:
In samenwerking met onderzoekers op het MIT heb ik een taal ontwikkeld voor het modelleren
en analyseren van gedistribueerde systemen met behulp van getimede I/O automaten.
Door het bedrijf VeroModo Inc wordt hier een tool voor ontwikkeld.
Ik ben geinteresseerd in het toepassen van dit tool op uitdagende problemen, het verbeteren van het tool
en het aanbrengen van een goede link met de model checker Uppaal.
Als onderdeel van een stage hierover moet (mag) je mogelijk voor een aantal weken op bezoek
bij het bedrijf VeroModo in Boston, USA.
Recent heb ik een artikel
geschreven over het modelleren en analyseren van het Zeroconf protocol.
Tijdens een recente workshop in Duitsland sprak ik uitgebreid met Microsoft onderzoeker Margus Veanes,
die een heel interessant testtool genaamd SpecExplorer
heeft ontwikkeld.
Het lijkt mij boeiend om uitgaande van onze Zeroconf modellen, gebruikmakend van SpecExplorer,
automatisch tests te genereren die we kunnen loslaten op Zeroconf implementaties om
te kijken of ze voldoen aan de standaard.
(Het ligt voor de hand om ook Jan Tretmans te betrekken bij een dergelijk project.)
Sudoku puzzels laten zich, gebruikmakend van een paar voor de hand liggende heuristieken, in het algemeen eenvoudig oplossen met model checkers.
Kunnen we bewijzen dat een model checker altijd snel een oplossing zal vinden?
Een moeilijke vraag maar als je hier uitkomt haal je wel de krant.