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: Java Precisely: a concise quick
reference to the Java programming language (MIT Press 2002; second
edition MIT Press 2005; third edition MIT Press 2016).
page at MIT Press.
- A 2016 translation into English of Corrado
Böhm's 1951 PhD dissertation: Digital computers. On encoding
logical-mathematical formulas using the machine itself during
- Sestoft: Spreadsheet
Implementation Technology. Basics and Extensions. MIT Press,
book's page at MIT Press.
- 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).
- 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).
author page and Twitter
- List of all publications.
What am I doing
- Research project Popular Parallel Programming
(P3) 2015-2018 with Aalborg University, supported by
Danish Research Council for Independent Research: Technology and
- 2016 Workshop on
Software Engineering Methods for Spreadsheets (SEMS),
co-located with STAF 2016 in Vienna, Austria.
- Research project Actulus
2011-2015 with Edlund A/S
and Department of Mathematics,
Copenhagen University, supported by
the Danish Advanced
- 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.
- Contact person for
Language Specialization of the Software Development MSc program.
- Teaching at ITU:
Concurrent and Parallel Programming (PCPP)
Programming (BFNP) (BSc) (F2016)
- 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 version and
an F# version).
- 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.