Professor Lars Birkedal – 25-års jubilæum
20.11.2025 13:08:31 CET | Aarhus Universitet Natural Sciences | Pressemeddelelse
Professor i datalogi ved Aarhus Universitet, Lars Birkedal, kan fejre 25-års jubilæum. Han er internationalt anerkendt for sin forskning i programmeringssprog og programverifikation og leder Center for Basic Research in Program Verification. Han har modtaget flere store forskningspriser, bl.a. EliteForsk-prisen.
Professor i datalogi ved Aarhus Universitet, Lars Birkedal, kan fejre 25-års jubilæum. Han forsker i logik og semantik for programmeringssprog og er internationalt anerkendt for sit arbejde med formelle metoder og programverifikation.
Han står bag etableringen af Center for Basic Research in Program Verification (CPV) i Aarhus, der er blandt verdens førende forskningsmiljøer inden for softwareverifikation. CPV’s arbejde med logikken Iris har bl.a. indbragt både Alonzo Church-prisen (2023) og en POPL Test-of-Time Award (2025).
Lars Birkedal har modtaget bl.a. EliteForsk-prisen (2015), to Villum Investigator-bevillinger og et ERC Advanced Grant. Han er medlem af Det Kongelige Danske Videnskabernes Selskab og Fellow of the ACM.
Hans forskning bidrager til at skabe software, vi kan stole på – en stadig vigtigere opgave i en digital verden.
Jubilæet markeres med en uformel reception på Institut for Datalogi den 21. november fra 15:00-17:00.
Nøgleord
Kontakter
Lars BirkedalProfessorInstitut for Datalogi
birkedal@cs.au.dkSofia Hedegaard RasmussenInstitut for Datalogi, Aarhus Universitet
Tlf:24424345sofia@cs.au.dkLinks
Følg pressemeddelelser fra Aarhus Universitet Natural Sciences
Skriv dig op her, og modtag pressemeddelelser på e-mail. Indtast din e-mail, klik på abonner, og følg instruktionerne i den udsendte e-mail.
Flere pressemeddelelser fra Aarhus Universitet Natural Sciences
Nyt gennembrud i RNA-forskning kan ændre forståelsen af hjernen16.4.2026 11:37:23 CEST | Pressemeddelelse
Ny forskning udfordrer den klassiske opfattelse af, hvordan gener styrer hjernens funktion. Det er ikke kun de proteiner, neuroner producerer, der er afgørende – men også de RNA-instruktioner, der bestemmer, hvor og hvornår disse proteiner dannes.
Danske studerende klar til at sende klimasatellit i rummet på Transporter-16 missionen27.3.2026 10:44:48 CET | Pressemeddelelse
Den 30. marts 2026 opsendes satellitten DISCO-2 fra Californien. Bag missionen står danske universitetsstuderende. Satellitten skal fra rummet overvåge de smeltende gletsjere i Grønland og levere data til klimaforskningen.
Fra skrald til klimateknologi: Gummihandsker får nyt liv som CO2-fanger13.3.2026 12:52:05 CET | Pressemeddelelse
Millioner af gummihandsker ender på forbrændingen eller lossepladsen, men nu har forskere på Aarhus Universitet udviklet en teknologi, der kan omdanne de brugte handsker til at fange CO2. Det er et muligt alternativ til olieafhængige løsninger, lyder vurderingen fra postdoc Simon Kildahl, som står i spidsen for projektet.
Genetisk kortlægning afslører nøglen til vinterhårdføre hestebønner10.3.2026 13:06:33 CET | Pressemeddelelse
Med et nyligt lokaliseret genetiskområde på vinterhestebønnen kan forskere nu pege på, hvad der gør at vinterhestebønnen er mere robust i koldere klimaer. Et gennembrud der på sigt kan skabe et større incitament for at så langt flere bælgplanter i f.eks. danske marker.
Ny forskning fra Aarhus Universitet: Marsvin skruer selv ned for støjen6.3.2026 07:51:33 CET | Pressemeddelelse
Den lille danske hval, marsvinet, ser ud til at være udstyret med et medfødt høreværn, som hjælper den med at beskytte sig mod kraftig støj fra blandt andet motorbåde. Resultatet overrasker forskerne bag studiet.
I vores nyhedsrum kan du læse alle vores pressemeddelelser, tilgå materiale i form af billeder og dokumenter samt finde vores kontaktoplysninger.
Besøg vores nyhedsrum