Professor i datalogi, Anders Møller på 44 år, modtager i eftermiddag en EliteForsk-pris. AU-professoren får prisen for sin forskning inden for programmeringssprog og programanalyse – sidstnævnte er metoder, der gør det muligt at analysere og finde fejl i programmer, inden de tages i brug.

Siden 1930’erne har det ellers været kendt, at det er matematisk umuligt at lave perfekte programanalyser, hvilket blev påvist af matematikeren Alan Turing.

”Men det forhindrer os ikke i at lave approksimationer, altså tilnærmelser, sådan at man kan finde så mange fejl som muligt så effektivt som muligt,” siger Anders Møller i pressematerialet om EliteForsk-prisen.  

Og IT-giganter som Google, Facebook og Microsoft benytter da også programanalyse til at finde fejl i deres programmer. 

Fejl i computerprogrammer kan ikke alene udgøre en sikkerhedsrisiko i forhold til eksempelvis hacking. Det kan også koste mange ressourcer, når et computerprogram uventet lukker ned som følge af en fejl.

Forskere fra KU, AU og DTU hædres 

Der uddeles i alt fem EliteForsk-priser i dag. Prismodtagerne får hver 1,2 millioner kroner. De 200.000 kroner er en personlig hæderspris, men de 1.000.000 kroner skal gå til forskningsaktiviteter. Det er Uddannelses- og Forskningsministeriet, der står bag EliteForsk-prisen, som overrækkes af Kronprinsesse Mary og uddannelses- og forskningsminister Ane Halsboe-Jørgensen (S). Ud over til Anders Møller uddeles EliteForsk-priser til tre forskere fra Københavns Universitet og en forsker fra Danmarks Tekniske Universitet.

Rejselegater til ph.d.-studerende 

Ministeriet uddeler også 20 EliteForsk-rejselegater på hver 200.000 kroner til ph.d.-studerende. Tre ph.d.-studerende fra AU modtager et EliteForsk-rejselegat. Det drejer sig om Nis Langer Primdahl fra DPU - Danmarks institut for Pædagogik og Uddannelse, Signe Mosegaard fra Institut for Klinisk Medicin og Johan Gøtzsche-Astrup fra Institut for Statskundskab.