Scholar
Lars Birkedal
Google Scholar ID: 1rW-bi0AAAAJ
Dept. of Computer Science, Aarhus University
Citations & Impact
Citations
4,476
H-index
33
i10-index
96
Publications
20
Co-authors
0
Publications
Resume (English only)
Academic Achievements
- Fellow of the ACM
- Elected member of the Royal Danish Academy of Sciences and Letters
- Recipient of an ERC Advanced Grant (2023)
- Recipient of the 2023 Alonzo Church Award for Outstanding Contributions to Logic and Computation (for the design and implementation of Iris, a higher-order concurrent separation logic framework)
- Villum Investigator grant from the Villum Foundation (2019)
- Danish Minister of Research Elite Research Award (2015)
- Sapere Aude Advanced Grant from the Danish National Science Research Council (2013)
- ACM SIGPLAN Milner Award (2013)
- Editor-in-Chief of Logical Methods in Computer Science (2014–2020); currently Chairman of the journal’s board
- PC Chair for POPL 2020
Research Experience
- Was at the IT University of Copenhagen until December 2012
- Served as Head of Department of Computer Science at Aarhus University from 2014 to 2017
- Currently leads the Logic and Semantics Group at Aarhus University
- Involved in multiple research projects, including:
- - CHORDS (Compositional Higher-Order Reasoning about Distributed Systems)
- - CPV (Center for Basic Research in Program Verification)
- - ModuRes (Modular Reasoning about Concurrent Higher-Order Imperative Programs)
- - GHott (Guarded Homotopy Type Theory)
- - ToMeSo (Tools and Methods for Scalable Software Verification)
- - MOREASO (Modular Reasoning about Software)
- - BPL (Bigraphical Programming Languages)
- - The ML Kit
- - RaR (Reasoning about Resources)
Co-authors