Since January 2013 Lars Birkedal has been employed as professor at the department, where he became head of a new research group within  logic and semantics, working with, among other things, research in mathematical models for programming languages to prove the correctness of programs.

He holds a degree in Computer Science from the University of Copenhagen in 1994 and did his PhD at Carnegie Mellon University in 1999, after which he in 2000 was employed at the IT University of Copenhagen.  In the period 2000-2005 Lars Birkedal was the Head of Department at the Department of  Theoretical Computer Science. Furthermore, from 2007-2011 Lars Birkedal  became manager of FIRST, the IT University's graduate school  (Foundations for Innovative Research-based Software Technologies).

Read more about Lars Birkedal at http://cs.au.dk/~birke/