Villum Investigator-bevillinger til forskere på Aarhus Universitet

Professor Bo Brummerstedt Iversen fra Institut for Kemi på Aarhus Universitet får 39,8 mio. kr. fra Villum Investigator programmet til de næste seks år at udvikle dynamisk krystallografi for at skabe fundamentet for fremtidens materialeteknologier. Det vil han gøre ved at udnytte de nye revolutionerende forskningsfaciliteter lige på vores dørtrin: Synkrotronen MAX IV og neutronkilden ESS i Skåne og røntgenlaseren EXFEL i Nordtyskland.

Professor Karl Anker Jørgensen fra Institut for Kemi på Aarhus Universitet modtager 39,9 mio. kr. fra Villum Investigator programmet til de næste seks år at forske i grøn katalyse. Han vil sammen med forskergrupper fra Danmark og USA udføre ny og innovativ forskning i katalyse på højeste internationale niveau. Fokus er at udvikle nye og hidtil usete reaktionskoncepter, der skal kunne danne grundlag for grøn og miljøvenlig kemi. Den nye forskning skal ikke kun baseres på kemi, men integrere big data analyser og maskinlæring.

Professor Henrik Stapelfeldt fra Institut for Kemi på Aarhus Universitet modtager 30,2 mio. kr. fra Villum Investigator programmet til at filme atomer i molekyler, mens de indgår kemiske rekationer, i ekstrem slow motion. Ekstrem betyder her at belyse processen med glimt af laserlys på ned til et femtosekund ad gangen (et femtosekund er 10^-15 sekund eller en milliontedel af en milliardtedel af et sekund). Det vil definere en ny forskningsretning inden for molekylærvidenskab og have et stort potentiale for ny grundlæggende indsigt og effektive resultater.

Professor Lars Birkedal fra Institut for Datalogi på Aarhus Universitet modtager 35,4 mio. kr. fra Villum Investigator programmet til at skabe et center for grundforskning i programverifikation. Lars Birkedal forsker i teoretisk datalogi, nærmere bestemt logik og semantik i programmeringssprog, og hans LogSem gruppe har skabt adskillige gennembrud inden for det vigtige felt, som overordnet kan kaldes ”forebyg fejl i computerprogrammer”. Med avanceret matematik udvikler gruppen modeller og analyseværktøjer, som kan bruges til at verificere programmer med.