ERC Advanced Grant til professor Lars Birkedal
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
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
Ny indsigt i kolesterols dynamik kaster lys over neurodegenerativ sygdom8.4.2024 09:43:27 CEST | Pressemeddelelse
Forståelsen af kolesterolbalancen i celler åbner op for nye perspektiver på den neuro-degenerative sygdom Niemann-Pick type C, der også kaldes "børne-demens". Disse resultater udgør et betydningsfuldt skridt i retning af at behandle denne sygdom.
Stjernen Epsilon Indi skælver ganske svagt - vi er et skridt nærmere på at forstå de stjerner, som ligner Solen27.3.2024 16:29:52 CET | Pressemeddelelse
En række Aarhus-forskere er dybt involverede den nye opdagelse.
De første mennesker kom til Europa for mindst 1,4 mio. år siden – fra øst6.3.2024 17:00:00 CET | Pressemeddelelse
Dateringer af jordlag med primitive stenredskaber i det vestlige Ukraine viser, at menneskeslægten – sandsynligvis i form af arten Homo erectus – var til stede i Europa allerede for 1,4 millioner år siden. De er 2-300.000 år ældre end de hidtil ældste fund i Spanien og Frankrig, og kaster nyt lys over menneskets kolonisering af det europæiske kontinent.
Ny opdagelse viser, hvordan celler forsvarer sig i stressede situationer27.2.2024 11:23:23 CET | Pressemeddelelse
En ny undersøgelse foretaget af et internationalt forskerhold afslører, hvordan vores celler forsvarer sig i stressede situationer. Forskningen viser, at en lille ændring i det genetiske materiale, kaldet ac4C, fungerer som en afgørende forsvarer, der hjælper celler med at skabe beskyttende tilflugtssteder kendt som stressgranuler. Disse stressgranuler sikrer vigtige genetiske instruktioner, når cellen står over for udfordringer. De nye resultater kan hjælpe med til at vise nye metoder til at behandle sygdomme.
Fremmede planteædere er lige så gode for lokale planter som hjemmehørende arter19.2.2024 11:16:59 CET | Pressemeddelelse
Nyt stort studie viser, at ideen om, at hjemmehørende dyr er bedre for det lokale økosystem end introducerede arter, er forkert. I stedet er det dyrenes måde at søge føde på, der har betydning.
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