VICI voor Eelco Visser
05 februari 2013 door Webredactie M&CSoftware-systemen zijn de motoren van de moderne informatie-maatschappij. Ons vermogen om te kunnen omgaan met de toenemende complexiteit van software-systemen wordt beperkt door de programmeertalen die we gebruiken om die systemen te construeren. Het gehonoreerde VICI-voorstel van Eelco Visser, The Language Designer’s Workbench, moet ontwikkelaars van programmeertalen steunen door automatische verificatie van taaldefinities. De VICI-subsidie, verstrekt door NWO, bedraagt 1,5 miljoen euro.
Een van de grote uitdagingen in software-engineering is het dichten van de kloof tussen domeinspecifieke concepten en de implementatie van die concepten in programmeertalen. Moderne programmeertalen hebben deze kloof kleiner gemaakt, maar er is nog vaak intensief programmeerwerk op laag niveau nodig. Zogenaamde domein-specifieke programmeertalen (DSL’s) pakken dit probleem aan door midel van linguïstische abstractie, dat wil zeggen, notatie en analyse die afgestemd zijn op het toepassingsgebied. Echter, de implementaties van DSL's geven zelden garanties over veiligheidseisen zoals type gezondheid.
In dit VICI-project worden nieuwe methoden and technieken ontwikkeld voor de automatische verificatie van taaldefinities. Deze technieken worden geïntegreerd in de innovatieve Spoofax Language Workbench en moeten er voor zorgen dat DSL-ontwikkelaars semantische fouten met weinig moeite en in een vroeg stadium kunnen ontdekken.
Dr. Eelco Visser (1966) studeerde informatica aan de Universiteit van Amsterdam (1993) en promoveerde daar in 1997. Daarna was hij werkzaam als onderzoeker aan het Oregon Graduate Institute en als Universitair Docent aan de Universiteit Utrecht. Sinds 2006 is hij verbonden aan de TU Delft als Universitair Hoofddocent, aan de faculteit EWI.
Meer informatie
Zie ook de persoonlijke pagina van Eelco Visser
