Lars Birkedal

Professor   Curriculum Vitæ
Head of Logic and Semantics Group   Publications
birkedal@cs.au.dk    
     
Dept. of Comp. Science, Aarhus University   Office:   Turing 216 (building 5341, office 225)
Aabogade 34   Phone:   +45 2383 8546
DK-8200 Aarhus N, Denmark.   Phone:   +45 8715 6227
 

Short BIO Lars Birkedal is Professor of Computer Science at Aarhus University. He received his Ph.D. in Computer Science from Carnegie Mellon University, USA, in Dec. 1999 and until Dec. 2012 he was at the IT University of Copenhagen, Denmark. Lars Birkedal is an elected member of the Royal Danish Academy of Sciences and Letters, the recipient of the Danish Minister of Research Elite Research Award 2015 ("Videnskabsministeriets EliteForsk-pris"), a Sapere Aude Advanced Grant from the Danish National Science Research Council 2013, and the ACM SIGPLAN Milner Award 2013. Lars Birkedal's main research interests lie in the area of logic and semantics of programming languages and type theories. Current work focuses on program logics for reasoning about concurrent, higher-order, and imperative programs; cyber-security; and type theories with guarded recursion.

Current Research Projects:

Some Past Research Projects: Picture