Den blot 31-årige cand.scient i datalogi, ph.d og lektor på Aalborg Universitets Institut for Datalogi og Center for Indlejrede Softwaresystemer (CISS), Gerd Behrmann, er blevet en lille formue rigere.
Han er nemlig årets modtager af Spar Nord Fondens Forskningspris på 250.000 kroner, som han får for sin ph.d-afhandling "Data structures and Algorithms for the Analysis of Real Time Systems."
I afhandlingen kommer Gerd Berhrmann med både teoretiske og praktiske bud på, hvordan man forbedrer udviklingen af automatiske fejlfindingsværktøjer til software - de såkaldte verifikationsværktøjer.
Totale analyser
Disse værktøjer kan anvendes til at udføre totale analyser af softwaremodeller og altså sikre, at der ikke er fejl i dem.
Gerd Behrmann har i ph.d-afhandlingen især fokuseret på to af de mest anvendte verifikationsværktøjer,
| Årets modtager af Spar Nord Fondens forskningspris: Gerd Behrmann. |
Han har da også forlængst markeret sig som den førende udvikler af Uppaal, hedder det.
Ph.d-afhandlingen har siden, den udkom i november sidste år, ført til publiceringen af ni videnskabelige artikler og et patent.
De 250.000 kroner kommer ikke alle til at ryge ned i Gerd Berhmanns lommer. Han lander selv de 50.000 kroner til at forsøde dagligdagen, mens de resterende 200.000 kroner er øremærket videre forskning på området.
Prisen overrækkes til Gerd Behrmann ved en højtidelighed 23. oktober, hvor det er Aalborg Universitets 30 års jubilæum.
