Onderzoeker Universiteit Twente krijgt Europese subsidie
De subsidie is een zogeheten Starting Grant van de European Research Council (ERC). Huisman deed eerder onderzoek naar verificatie van sequentiële programma’s en wil nu aantonen dat de methode ook werkt voor multithreaded software. Het is de bedoeling om van deze subsidie 2 aio's en 2 postdocs aan te stellen voor het Vercors-project (Verification of Concurrent Data Structures).
Shutterstock
Shutterstock
Dat project bouwt voort op eerder onderzoek waarbij verificatie is toegepast op een van de manieren waarop threads in Java data vergrendelen, een essentieel onderdeel bij de ontwikkeling van multithreaded software.
Vercors zoekt naar manieren om formeel te beschrijven welke programmaonderdelen een datastructuur wanneer mogen lezen of schrijven. De verificatietools moeten over de verschillende mechanismen hiervoor kunnen redeneren en aantonen dat de code zich volgens de regels gedraagt.
Het project zal volgens Huisman nieuwe theorie ontwikkelen, maar vooral ook praktische resultaten opleveren in de vorm van tools.
Gerelateerde artikelen
Gerelateerde artikelen
Reacties
Om een reactie achter te laten is een account vereist.
Inloggen Word abonnee