Lars Birkedal Professor   Curriculum Vitæ Head of Programming, Logic, and Semantics Group   Publications Head of FIRST Research School birkedal@itu.dk           IT University of Copenhagen   Office:   4C.15 Rued Langgaards Vej 7   Phone:   +45 7218 5280 DK-2300 København S, Denmark.   Fax:   +45 7218 5001

Research Interests:     My research interests include applications of mathematical logic and category theory to computer science, especially concerning the semantics of programming languages, type theories, and models for global computing. I am also interested in the implementation of advanced programming languages and co-developer of The ML Kit and SML-Mix. For more information, please see my publications.

Ph.D. school on Logics and Semantics of State, October 2008

Current Research Projects:

• Tools and Methods for Scalable Software Verification (ToMeSo)
• Modular Reasoning about Software (MOREASO)

• Bigraphical Programming Languages (BPL)
• The ML Kit
• Reasoning about Resources (RaR)

Picture, August 2007

Picture, December 2009

Book:     Developing Theories of Types and Computability via Realizability     Electronic Notes in Theoretical Computer Science, Volume 34, 2000.