I'm professor at the IT University of
Copenhagen, where my interests include functional and managed
object-oriented programming languages and their implementation,
program transformation, program specification, software development,
and bioinformatics. See also my CV.
My programs and systems
My books, papers and so on
What am I doing
- Research project Actulus
with Edlund A/S
and Department of Mathematics,
Copenhagen University, supported by
Advanced Technology Foundation.
- Research project Tools
and Methods for Scalable Software Verification, with Lars Birkedal
- Past research project Evolvable Software Products
Program committee member for
2011 (Austin, Texas, January 2011), Program Understanding
(Siberia, July 2011),
(San Francisco, September 2011), TOOLS Europe 2012 (Prague, May-June
2012), META 2012 (July 2012).
Head of the IT University's Software and Systems Section, and
contact person for the Software Development Group.
- The Copenhagen Programming
Language Seminar (COPLAS) series of talks
- Teaching at ITU:
Programmer som Data
Models and Programs (F2011),
Programmering med Projekt (BSc) (E2008),
- Past teaching at KVL/KU LIFE: Matematik og
Databehandling, BioLinux, Databehandling, Programmering, Bioinformatics.
- Lecture notes using Java (in PDF): Systematic software testing and Searching and sorting and Grammars and parsing (the
latter also exists in a Standard ML
- How to create lecture slides and notes in PDF using LaTeX (in Danish).
- Random personal and/or fun stuff.
I'm a graduate of computer science and mathematics (MSc 1988, PhD
1991) from the University of
Copenhagen computer science
department DIKU, more precisely the
programming language group TOPPS. From 1992 to 1994 I was at
the Department of Information
Technology at the Technical
University of Denmark, and from 1995 to 2007 at the Royal
Veterinary and Agricultural University in Copenhagen, and also at the
IT University of Copenhagen since its creation in 1999. From October
1994 to June 1995 I
visited AT&T Bell
Laboratories in Murray Hill, New Jersey, USA. From October to
December 2001 I visited
Research, Cambridge UK. From March to July 2009 I visited Harvard
School of Engineering and Applied Sciences.
Office: IT University of
Copenhagen, Room 4D15.
Rued Langgaards Vej 7, DK-2300 Copenhagen S, Denmark.
Tel: +45 7218 5083. Fax: +45 7218 5001.
Home: Charlottenlund, Denmark (Kraks kort 118E6). Tel:
+45 3964 6727.