Peter Sestoft

Programs and systems

• C5: A comprehensive collection library for C# and .Net New: Version 1.00 released!
• 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.
• Lambda calculus reducer, a simple tool for visualizing various reduction strategies in the untyped lambda calculus.

Books, papers and reports

• Java Precisely: a concise quick reference to the Java programming language (MIT Press 2002; second edition MIT Press 2005).
• C# Precisely: a concise quick reference to most of the C# programming language (MIT Press 2004).
• Jones, Gomard, Sestoft: Partial Evaluation. 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)

Links

• My public calendar.
• Chair of European Symposium on Programming (ESOP) 2006, and co-chair of PEPM'04 and PEPM'94.
• Member of Ecma International C# (TG2) and CLI (TG3) standardization committees.
• Head of the Software Development Group, ITU.
• Head of Center for Bioinformatics, KVL.
• The Copenhagen Programming Language Seminar series.
• Research project Evolvable Software Products
• Research project Resource-Constrained Embedded Systems
• Teaching at KVL: Matematik og Databehandling, BioLinux and past courses: Databehandling, Programmering, Bioinformatics.
• Teaching at ITU: Komponentbaseret design og J2EE (F2006), Programming Languages, Interpreters, and Compilers (F2006), Specialeprojekter, C# and .Net project cluster
• Lecture notes using Java (in PDF): Systematic software test 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.
• My PGP public key.

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.

Address

Office at KVL: Room T647, Department of Mathematics and Physics, Royal Veterinary and Agricultural University.
Thorvaldsensvej 40, DK-1871 Frederiksberg C, Denmark.
Tel: + 45 3528 2334. Fax: + 45 3528 2398.

Office at ITU: Room 4E02, The IT University of Copenhagen.
Rued Langgaards Vej 7, DK-2300 Copenhagen S, Denmark.
Tel: + 45 7218 5083. Fax: + 45 7218 5001.

Home: Charlottenlund, Denmark. Map (Kraks kort 118E6) and pictures.