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
- Sestoft: Spreadsheet Implementation Technology.
Basics and Extensions.
MIT Press 2014 (to appear, expected 29 August).
- Sestoft: Programming Language Concepts.
Springer, June 2012.
- Sestoft, Hansen: C#
Precisely: a concise quick reference to the C# programming
language. MIT Press, Second edition, February 2012.
- Jagger, Perry, Sestoft: C# Annotated Standard
(Morgan Kaufmann 2007).
- Sestoft: Java Precisely: a concise quick
reference to the Java programming language (MIT Press 2002; second
edition MIT Press 2005).
- Jones, Gomard, Sestoft: Partial
Evaluation and Automatic Program Generation. Full text available
online. (Prentice-Hall International 1993).
- Gansner and Reppy, editors: Standard ML Basis Library
(Cambridge University Press 2004).
- List of all publications
A bibliography on partial evaluation (BibTeX source)
What am I doing
workshop on software engineering methods in spreadsheets (SEMS),
2 July 2014. Final program.
- Research project Actulus
with Edlund A/S
and Department of Mathematics,
Copenhagen University, supported by
Advanced Technology Foundation.
- Past research projects
and Methods for Scalable Software Verification, with Lars Birkedal and Evolvable Software Products
with Yvonne Dittrich.
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:
Concurrent and Parallel Programming (SPPP)
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.