Professor Lars Birkedal – 25-års jubilæum
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
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.
Lille flagermus jager som løver – bare bedre3.11.2025 06:00:00 CET | Pressemeddelelse
En lille flagermus bruger en “hæng-og-vent”-strategi til at spare energi og fange store byttedyr med overraskende stor succes
Mysterium opklaret: Sådan fanger og spiser store fla-germus spurve i luften10.10.2025 06:00:00 CEST | Pressemeddelelse
Efter næsten 25 års forskning er det endelig afsløret: Europas største flagermus ikke bare spiser småfugle – de jager og fanger dem i over en kilometers højde. Og spiser dem uden at lande.
Ny dansk teknologi kan gøre vinduer intelligente – helt uden strøm29.9.2025 06:00:00 CEST | Pressemeddelelse
Forskere fra Aarhus Universitet har udviklet et nyt lysfølsomt hybridmateriale, som indlejret i vinduesglas automatisk tilpasser sig solens styrke og regulerer varmeindstråling i bygninger. Teknologien virker uden strøm og elektronik og har potentiale til at mindske energiforbrug og CO₂-udledning fra køling, især i moderne glasbyggeri.
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