Peter Sestoft
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 Tools
and Methods for Scalable Software Verification, with Lars Birkedal
- Past research project Evolvable Software Products
-
Program committee member for
Runtime Verification (Malta, November 2010),
META 2010
(Pereslavl-Zalessky, Russia, July
2010), PEPM
2011 (Austin, Texas, January 2011).
- At the IT University:
Responsible for the BSc in software development,
and head of the Software
Development Group.
- The Copenhagen Programming
Language Seminar (COPLAS) series of talks
- Teaching at ITU:
Programmer som Data (BSc) (E2010),
Programming Language
Seminar (E2010),
Advanced
Models and Programs (F2010),
BSc SWU
bachelorprojektklynge (F2010),
Grundlæggende
Programmering med Projekt (BSc) (E2008),
BSc
førsteårsprojekt (F2008),
Specialeprojekter.
- 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
version).
- How to create lecture slides and notes in PDF using LaTeX (in Danish).
- Random personal and/or fun stuff.
Background
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. 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
Microsoft
Research, Cambridge UK. From March to July 2009 I visited Harvard
School of Engineering and Applied Sciences.
Address
E-mail: sestoft@itu.dk
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. Some pictures.
Peter Sestoft
1995, 2010-08-31