Den 35-årige Lars Michael Kristensen fra Datalogisk Institut på Århus Universitet løb torsdag med en af de 77 EliteForsk-priser, der blev uddelt til unge forskere under en konference i København.
Lars Kristensen arbejder med computermodeller, der afslører kritiske fejl i fremtidens it-systemer. Sådanne computermodeller har stor betydning, når det gælder såkaldt sikkerheds-kritiske systemer, der styrer f.eks. biler, respiratorer og fly.
Prisen er på 200.000 kroner og pengene skal bruges til forskningsophold og konferencer i udlandet, så den danske forsker kan udbygge sit internationale netværk.
På konferencen torsdag blev der uddelt i alt 77 priser, fem EliteForsk-priser på hver én mio. kr. og 45 EliteForsk-rejsestipendier á 250.000 kr., bevilget af Videnskabs-ministeriet, 24 Ung Eliteforsker-priser á 200.000 kr., bevilget af Det Frie Forskningsråd samt tre professorbevillinger over fem år på i alt op mod 57,5 mio. kr. fra Danmarks Grundforskningsfond.