Mads Tofte, PhD Vice Chancellor IT University of Copenhagen Rued Langgaards Vej 7 DK-2300 Copenhagen Denmark email: tofte@itu.dk or rektor@itu.dk Assistant to the Management: Ms Gitte Gramstrup, gigr@itu.dk, tel. +45 7218 5072.

Documents in Danish may be found on the Danish variant of this page.

Short CV

Born in Lyngby, Denmark, on April 20, 1959. MSc in Computer Science and Mathematics from Copenhagen University, 1984. PhD in Computer Science from University of Edinburgh, 1988. Has taught and conducted research at University of Edinburgh, University of Nigeria and Copenhagen University. Managing Director of ITU, 1999-2003. Vice Chancellor of ITU since 2003.

Wikipedia Full CV

Presentations

• State of the IT University of Copenhagen (2011 ppt, 2010 pdf). Gives an overview of the state of the IT University of Copenhagen and outlines plans for the coming years

Documents, publications, books and software

Complete list with links: pdf, including:

• Mads Tofte (2009) Standard ML language. Scholarpedia, 4(2):7515
• Tips for Computer Scientists on Standard ML (Revised) pdf examples (2009)
• The ML Kit (2007)
• Code from 1994 POPL paper ported to 2005 technology and other material relating to the development from POPL '94 to region technology in the ML Kit (tar'ed and gzip'ed: download 1994popl-2005-01-08.tar.gz 6,233,398 bytes)
• Proof, Language and Interaction Essays in Honour of Robin Milner (2000)
• The Definition of Standard ML (Revised) (1997)
• Tofte and Talpin: Implementing the Typed Call-by-Value lambda-calculus using a Stack of Regions (POPL '94) (pdf)
• The 1990 Definition of Standard ML and 1991 Commentary on Standard ML

Pictures

• Photos for public use (2006)
• Honorary doctorate at Kingston University (2007)
• Animation of the new IT University mpeg (2003)
• National Television visits the very recently established IT University (1999)

Last updated: June 29, 2011.