Tre studerende får Roblon Prisen

De tre kandidater modtager prisen for deres speciale: ”Modular Execution Time Analysis using Model Checking”. Specialet udvikler, kombinerer og implementerer to avancerede dataprogrammer inden for indlejret software, og har fokus på tidsgrænser ved elektroniske og mekaniske apparater. Et eksempel kan være udløsningen af en airbag ved kollision. Her skal der tages hensyn til mange tænkelige forhold, så elektronikken fungerer præcist og ved en garanteret mindstegrænse. Overrækkelsen af prisen finder sted ved Aalborg Universitets jubilæumsfest og doktorpromovering tirsdag den 3. november 2009, og overrækkes af bestyrelsesformand for Roblon Fonden Ole Krogsgaard.