Vice Chancellor Mads Tofte, R., PhD
email: tofte@itu.dk
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
Documents, publications, books and software
Complete list with links: pdf.
- 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)
+45 7218 5000
+ 45 7218 5001
