V2 Security
V2 Security
    • Forside
    • 2023
      • Standplan
      • Bliv udstiller
    • Messen
      • Om messen
      • Temaer
      • Presse
      • Praktisk info
      • Rutebeskrivelse
    • Udstillere 2022
    • Program
      • Program oversigt
      • Spor | C - Level
      • Spor | Compliance
    • Nyheder
    • Log ind
    • English
      • English
      • dansk
Lars Birkedal
Navn
Lars Birkedal
Job title
Professor, Aarhus Universitet
Virksomhed
Aarhus University
Biografi
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. He served as Head of Department of Computer Science
in Aarhus from 2014 to 2017. Lars Birkedal is a Fellow of the ACM, an
elected member of the Royal Danish Academy of Sciences and Letters, the
recipient of a Villum Investigator grant from the Villum Foundation
2019, the Danish Minister of Research Elite Research Award 2015
("Videnskabsministeriets EliteForsk-pris"), 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 mathematical
reasoning about correctness and security properties of programs.
LinkedIn
https://www.linkedin.com/in/lars-birkedal-71b8954b/?originalSubdomain=dk
Taler ved
Snart kan algoritmer sikre programmer mod sikkerhedshuller

© Teknologiens Mediehus | V2 Security 2022 | +45 33 26 53 00 | [email protected] | Kalvebod Brygge 31-33 | 1560 København | Denmark

Når du tilmelder dig V2 Security, accepterer du, at arrangøren Teknologiens Mediehus kan bruge dine tilmeldingsoplysninger til at kontakte dig om arrangementer, analyser, nyheder, job og tilbud relateret til arrangementets emne via telefon og e-mail.