Lars Birkedal

Curriculum Vitæ

Academic Appointments

2013-present Full Professor, Dept. of Computer Science, Aarhus University
Head of Logic and Semantics Group
2008-2012 Full Professor, The IT University of Copenhagen
Head of Programming, Logic, and Semantics Group
2001-2007 Associate Professor, The IT University of Copenhagen
Head of Theory Department / Programming, Logic, and Semantics Group
2000-2001 Forskningsadjunkt (Research Assistant Professor), The IT University of Copenhagen
Head of Theory Department

Exams and Degrees

1999 School of Computer Science, Carnegie Mellon University
Ph.D. December 1999.
Thesis Title: Developing Theories of Types and Computability.
Advisor: Professor Dana S. Scott.
1996 School of Computer Science, Carnegie Mellon University
M.Sc. May 1996.
1994 Department of Computer Science, University of Copenhagen
M.Sc. July 1994.
Thesis Title: Partial Evaluation of Standard ML.
Advisor: Professor Neil D. Jones.
1994 Handelshøjskolen i København (Copenhagen Business School)
Handelshøjskolen's Diplomprøve, HD-O (BA in Business Administration).
Thesis Title: Mergers and Acquisitions.
Advisor: Professor Jan Molin.

Publications

See publications.