Peter Sestoft

My programs and systems

• Funcalc, a spreadsheet with user-defined functions. Pre-release January 2012.
• The C5 generic collection library for C# and CLI. Version 2.0.0 released May 2011.
• 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.
• 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

• 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). See Amazon.com.
• 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

• Research project Actulus with Edlund A/S and Department of Mathematics, Copenhagen University, supported by the Danish 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 PEPM 2011 (Austin, Texas, January 2011), Program Understanding (Siberia, July 2011), Runtime Verification (San Francisco, September 2011), TOOLS Europe 2012 (Prague, May-June 2012)
• Head of the IT University's Software and Systems Section.
• The Copenhagen Programming Language Seminar (COPLAS) series of talks
• Teaching at ITU: Programmer som Data (BSc) (E2011), Programming Language Seminar (E2011), Advanced Models and Programs (F2011), Grundlæggende Programmering med Projekt (BSc) (E2008), BSc førsteårsprojekt (F2008), Specialeprojekter, Bachelorprojekter.
• 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). Tel: +45 3964 6727. Some pictures.