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
Aarhus-forsker modtager EU's mest prestigefyldte forskningsbevilling til cybersikkerhed23.6.2026 13:00:00 CEST | Pressemeddelelse
Professor Anders Møller fra Institut for Datalogi ved Aarhus Universitet har modtaget et ERC Advanced Grant på 2,5 million euro fra European Research Council (ERC) til forskningsprojektet Program Analysis for Software Supply Chain Security (Prosec).
Indvandrede vildsvin kan gavne skoven - hjemmehørende hjorte gør det modsatte17.6.2026 13:19:27 CEST | Pressemeddelelse
Når vildsvin roder i jorden, får invasive planter svært ved at brede sig, og det gavner skovens økosystem. Det viser et forskningsprojekt fra Aarhus Universitet baseret på data fra mere end 60.000 skovparceller og et omfattende netværk af vildtkameraer i det østlige USA. Studiet peger samtidig på, at hjemmehørende hjorte er forbundet med flere invasive planter og færre naturlige træspirer.
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.
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