Peter Sestoft

My programs and systems

• The C5 generic collection library for C# and CLI. Version 1.1.0 released February 2008
• CoreCalc, a Spreadsheet Core Implementation in C#.
• Moscow ML, a light-weight implementation of the elegant functional language Standard ML.
• Runtime code generation in the Java Virtual Machine and Microsoft Common Language Runtime.
• ML Server Pages, a loose integration of Standard ML and HTML.
• Some sample programs in Generic C#
• Biosequence analysis, a pedagogical implementation of algorithms from a textbook; Dina workshop version.
• KVL Aminosequencer, a program for de novo protein sequencing from tandem mass spectra.
• Lambda calculus reducer, a simple tool for visualizing various reduction strategies in the untyped lambda calculus.

My books, papers and so on

• Jagger, Perry, Sestoft: C# Annotated Standard (Morgan Kaufmann 2007). See Amazon.com.
• Sestoft: Java Precisely: a concise quick reference to the Java programming language (MIT Press 2002; second edition MIT Press 2005).
• Sestoft, Hansen: C# Precisely: a concise quick reference to the C# programming language (MIT Press 2004).
• 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

• Research project Tools and Methods for Scalable Software Verification, with Lars Birkedal
• Research project Evolvable Software Products
• Program committee member for Runtime Verification (Malta, November 2010), META 2010 (Pereslavl-Zalessky, Russia, July 2010), ESOP 2009 (York, UK, March 2009).
• Member of IFIP WG2.11 Program Generation.
• 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: Advanced Models and Programs (F2010), BSc SWU bachelorprojektklynge (F2010), Programmer som Data (BSc) (E2009), 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

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) and pictures.