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.
• (A Raspberry Pi Linux server that runs some scripts mentioned above).

My books, papers and so on

• 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). 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), META 2012 (July 2012).
• 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: Functional Programming (BSc) (F2013), Programmer som Data (BSc) (E2012), Programming Language Seminar (E2012), Advanced Models and Programs (F2011), Grundlæggende Programmering med Projekt (BSc) (E2008), BSc førsteårsprojekt (F2008), MSc projects, BSc projects.
• 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, 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 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.