Lars Birkedal is affiliated with Aarhus University in Denmark and is active in the field of computer science, with a particular focus on logic, programming, and type systems. Their body of work spans various subfields, including artificial intelligence, computer networks and communications, computational theory and mathematics, hardware and architecture, and signal processing.
Their research topics cover a range of areas:
Among their recent publications are:
Frequent co-authors collaborating with Lars Birkedal include:
Lars Birkedal's publications are predominantly found in the following venues:
In recognition of contributions to the semantic and logical foundations of compilers and program verification systems, Lars Birkedal was named an ACM Fellow in 2017.
Ralf Jung;Robbert Krebbers;Jacques-Henri Jourdan;Aleš Bizjak
Ralf Jung;David Swasey;Filip Sieczkowski;Kasper Svendsen
Derek Dreyer;Georg Neis;Lars Birkedal
Thomas Dinsdale-Young;Lars Birkedal;Philippa Gardner;Matthew Parkinson
Lars Birkedal;Mads Tofte;Magnus Vejlstrup
Kasper Svendsen;Lars Birkedal
Aleksandar Nanevski;Greg Morrisett;Avraham Shinnar;Paul Govereau
Aleksandar Nanevski;Greg Morrisett;Lars Birkedal
Mads Tofte;Lars Birkedal
Aleksandar Nanevski;Greg Morrisett;Lars Birkedal
Lars Birkedal;Rasmus Ejlers Møgelberg;Jan Schwinghammer;Kristian Støvring
Robbert Krebbers;Amin Timany;Lars Birkedal
Aaron Turon;Derek Dreyer;Lars Birkedal
Robbert Krebbers;Ralf Jung;Aleš Bizjak;Jacques-Henri Jourdan
Ralf Jung;Robbert Krebbers;Lars Birkedal;Derek Dreyer
L. Birkedal;S. Debois;E. Elsborg;T. Hildebrandt
Mads Tofte;Lars Birkedal;Martin Elsman;Niels Hallenberg
Derek Dreyer;Amal Ahmed;Lars Birkedal
Bodil Biering;Lars Birkedal;Noah Torp-Smith
Lars Birkedal;Bernhard Reus;Jan Schwinghammer;Kristian Støvring
If you think any of the details on this page are incorrect, let us know.
Studying Computer Science in the USA opens the door to numerous online degree options that support diverse interests and career ambitions. Beyond traditional computer science programs, students might explore specialized online programs in related STEM fields.
For those intrigued by engineering principles, programs like an online mechanical engineering degree or an online electrical engineering career outcomes offer practical knowledge for careers in design, manufacturing, and technology innovation.
If your interests blend computer science with mathematics and experimentation, consider online physics degrees, which can provide strong analytical and research skills for scientific and tech-driven roles.
Rapid growth in data-centered industries also makes data science programs highly attractive, as they equip graduates for in-demand careers in analytics, machine learning, and big data.
With flexible online options, students can build the foundation for a technology-focused career while balancing work and life commitments.
Case Western Reserve University
Georgia Institute of Technology
Chinese Academy of Sciences
Boston University
Ben-Gurion University of the Negev
University of South Florida
Charité - University Medicine Berlin
University of Santiago de Compostela
Lawrence Berkeley National Laboratory
National Institutes of Health
University of Nottingham
University of Colorado Denver
University of Twente
University of Canterbury
Charles University
University of California, Irvine
