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)