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
Planter bruger et molekylært målebånd til at skelne ven fra fjende15.10.2026 20:00:00 CEST | Pressemeddelelse
Planter er konstant i kontakt med svampe i jorden. Nogle svampe forårsager sygdom, mens andre indgår i gavnlige partnerskaber, der hjælper planterne med at optage næringsstoffer og vokse. For at overleve er planterne nødt til at kunne skelne mellem dem, men hvordan de aflæser de kemiske signaler, som svampene udsender, har hidtil været dårligt forstået. Nu har forskere fra Aarhus Universitet sammen med kolleger fra Københavns Universitet og CNRS-CERMAV i Grenoble afdækket, hvordan en receptor i planten genkender lange kæder af kitin – et signal, der er forbundet med svampeangreb. Resultaterne, som er publiceret i Science den 15. oktober 2026, afslører et højt specialiseret receptorsystem, der selektivt genkender molekylære signaler fra svampe ud fra deres størrelse.
50 millioner til nyt AU-center: Hvad sker der med vores måde at tænke på, når AI tænker med?22.9.2026 11:00:00 CEST | Pressemeddelelse
Generativ AI hjælper os allerede med at skrive, analysere, lære og udvikle nye idéer. Men hvad sker der med vores egen tænkning, når AI bliver en stadig større del af den? Det skal et nyt tværfagligt forskningscenter på Aarhus Universitet undersøge med en bevilling på 50 millioner kroner fra Carlsbergfondet.
Malkekøer blev efterladt ved Tjernobyl - nu klarer flokken sig uden mennesker21.9.2026 08:48:45 CEST | Pressemeddelelse
Da køernes ejer døde i 2016, blev de overladt til sig selv. Siden har køerne klaret sig selv i naturen, tilpasset sig og fået kalve, viser ny forskning.
Gekkoen kan hele sit hjerte uden arvæv4.9.2026 12:02:45 CEST | Pressemeddelelse
Et forskerhold fra Aarhus Universitet har kortlagt, hvordan gekkoer gendanner beskadiget hjertevæv. Det kan gøre gekkoen til et nyt vigtigt modeldyr i jagten på at forstå kroppens evne til at reparere sig selv.
Skibsvrag fra 1. og 2. verdenskrig forurener dansk del af Nordsøen27.8.2026 10:14:01 CEST | Pressemeddelelse
Under begge verdenskrige var der heftige søslag i Nordsøen og mange skibe sank. Vragene ligger der endnu og lækker giftige kemikalier, som det lokale dyre- og planteliv optager, viser ny forskning.
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