ERC Advanced Grant til professor Lars Birkedal
![Foto af Lars Birkedal. Fotograf: SØren Kjeldgaard](/data/images/00583/0c0fedf6-2b3c-4196-a1c7-ac04e612df61-w_720.jpg)
Softwaresystemer er kritiske for det moderne samfunds infrastruktur, men softwarefejl og sikkerhedsbrud udgør enorme omkostninger og risici. Den traditionelle metode til at teste softwaresystemer er utilstrækkelig i forhold til at garantere, der ikke vil opstå fejl og sikkerhedsbrud, da ikke alle udførelsesveje er dækket af testen. Dette gælder især for concurrent og distribuerede systemer, hvor der simpelthen er for mange eksekveringsstier at teste.
CHORDS-projektet vil forske i og udvikle nye teorier, programlogikker og metoder til matematisk ræsonnementer omkring implementeringer af distribuerede systemer, og vil dermed lægge grundlaget for værktøjer, der vil hjælpe programmører med at lave mere korrekte og sikre distribuerede systemer.
Lars Birkedal er en af de førende eksperter inden for programmeringssprog, semantik og logik. Hans arbejde har haft en betydelig indflydelse på feltet, og han har modtaget mange forskningsbevillinger og priser, herunder Eliteforsk prisen (2015) og ACM SIGPLAN Robin Milner Young Researcher Award (2013). CHORDS-projektet er et ambitiøst og innovativt projekt, der vil bygge videre på Birkedals nuværende forskning i programverifikation til moderne softwaresystemer. Bevilling er et bevis på Lars' talent og ekspertise, at han er blevet tildelt ERC Advanced Grant.
ERC grant modtagere på instituttet:
- Lars Birkedal (2023, Advanced Grant)
- Anders Møller (2022, 2 x Proof of Concept Grant)
- Hans Gellersen (2020, Advanced Grant)
- Claudio Orlandi (2018, Starting Grant)
- Susanne Bødker (2016, Advanced Grant)
- Ivan Damgaard (2014, Advanced Grant)
- Jesper Buus (2011, Starting Grant)
- Anders Møller (2014, Consolidator Grant)
Nøgleord
Kontakter
Professor Lars Birkedal, birkedal@cs.au.dk, 23838546
Kommunikationsmedarbejder Sofia Rasmussen, sofia@cs.au.dk, 24424345
Billeder
![Foto af Lars Birkedal. Fotograf: SØren Kjeldgaard](/data/images/00583/0c0fedf6-2b3c-4196-a1c7-ac04e612df61-w_240.jpg)
Links
Information om Aarhus Universitet Natural Sciences
Institut for Datalogi har siden 1968 uddannet dataloger til stor gavn for danske og internationale virksomheder. Instituttets forskere er internationalt anerkendt inden for både teoretisk og eksperimentel datalogi.
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
Beviserne hober sig op: Mennesket stod bag udryddelsen af store pattedyr1.7.2024 06:00:00 CEST | Pressemeddelelse
Menneskets jagt, ikke klimaet, spillede en afgørende rolle i udryddelsen af store pattedyr gennem de sidste ca. 50.000 år. Det konkluderer forskere fra Aarhus Universitet i en review artikel efter at have analyseret over 300 videnskabelige artikler.
Gennembrud: Zink kan gøre afgrøder mere klimarobuste27.6.2024 06:01:00 CEST | Pressemeddelelse
Klimaforandringer, tørke, stigende temperaturer og andre miljømæssige stressfaktorer udfordrer bæredygtighed i landbruget. Nu har forskere fra Aarhus Universitet gjort en bemærkelsesværdig opdagelse: zink spiller en central rolle i planters respons på stress. Denne banebrydende opdagelse kaster ikke blot lys over planters komplekse vækstmekanismer, men har også potentiale til at øge afgrødeudbyttet, især i bælgplantebaseret landbrug.
Flot pris og kongeligt håndtryk til Jørgen Christensen-Dalsgaard22.5.2024 06:00:00 CEST | Pressemeddelelse
Professor emeritus Jørgen Christensen-Dalsgaard fra Aarhus Universitet modtog i sidste uge endnu en fornem pris, Crafoordprisen i astronomi, der blev overrakt af Sveriges kronprinsesse Victoria.
Planters kommunikation med bakterier er afgørende for sundt mikrobiom og bæredygtig plantevækst15.5.2024 09:33:33 CEST | Pressemeddelelse
I et nyt tværfagligt studie har forskere opdaget, at kommunikationen mellem symbiotiske bakterier og bælgplanter spiller en afgørende rolle i opbygningen af et sundt mikrobiom omkring plantens rødder. Dette samarbejde understøtter ikke kun plantens næringsoptagelse, men påvirker også, hvilke bakterier der trives nær rødderne. Resultaterne, offentliggjort i Nature Communications, peger på betydningen af denne symbiose for bæredygtig plantevækst og landbrug.
50 års jubilæum: Ole Caprani fra numerisk analyse til robotter2.5.2024 09:38:26 CEST | Pressemeddelelse
Stort tillykke til lektor Ole Caprani med 50-års jubilæet ved Aarhus Universitet den 1. maj 2024. Dette jubilæum markerer ikke blot en flot karriere, men også et liv viet til at udfolde datalogien til et bredere publikum via hans aktive deltagelse i fx instituttets outreach arbejde, hans LEGO-lab og Dansk robotolympiade.
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