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
Hurtigvoksende træer tager over i fremtidens skove og sætter biodiversiteten under pres29.1.2026 12:03:14 CET | Pressemeddelelse
Klimakrise, skovrydning og ødelagte levesteder fremmer ensartede skove, hvor hurtigvoksende arter fortrænger oprindelige træer. Det sænker biodiversiteten, gør træerne mindre modstandsdygtige over for sygdom og reducerer skovenes evne til at lagre CO₂.
Kenyas store katte under pres – kvæg presser løverne væk26.1.2026 11:24:01 CET | Pressemeddelelse
Flokke af kvæg fordriver løver og andre vilde dyr fra deres levesteder i Kenya – også selv om hyrderne lukker kvæget inde om natten, når rovdyrene er aktive. Et nyt studie fra Aarhus Universitet peger på løsninger, der kan mindske konflikterne mellem husdyr og vilde dyr.
Gennembrud: Nu kan vi aflæse DNA med telefonen17.12.2025 09:10:19 CET | Pressemeddelelse
Dansk forskningsgruppe har designet proteiner, der kan lede efter bestemte DNA-stykker og lyse, hvis de finder dem. Et lys, telefonens kamera nemt kan fange.
Professor Ivan Damgård – 40-års jubilæum20.11.2025 13:04:06 CET | Pressemeddelelse
Professor i datalogi ved Aarhus Universitet, Ivan Damgård, kan fejre 40-års jubilæum. Han er internationalt anerkendt pioner inden for kryptografi og har været med til at grundlægge virksomederne Cryptomathic og Partisia. Han er Ridder af Dannebrog og aktiv folkemusiker.
Vores korte hukommelse begrænser erindringen om ægte natur: Historiske kilder kalder den frem igen.20.11.2025 11:28:37 CET | Pressemeddelelse
Vi accepterer gradvist en fattigere natur, fordi vi har en tendens til at bruge vores egen levetid som målestok for, hvad de er normalt. Et internationalt forskerhold viser, at breve, malerier og mundtlige fortællinger kan give os et historisk længere perspektiv – og derved styrke fremtidens strategier for mere biodiversitet.
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