Mads Tofte, PhD Rektor IT-Universitetet i København Rued Langgaards Vej 7 2300 København S email: tofte@itu.dk eller rektor@itu.dk Direktionsassistent: Gitte Gramstrup, gigr@itu.dk tel. 7218 5072.

IT-Universitetet i København

• State of the IT University (2011 ppt, 2010 pdf), om IT-Universitetets aktuelle status samt planer for fremtiden
• Tre korte film om de tre principper, der ligger til grund for IT-Universitetet
• Tale ved rejsegildet for IT-højskolen i Ørestaden (2003)
• Animation af ITU mpeg (2003)
• DR besøger den meget nystartede IT-højskole i København (1999)
• Visioner for en IT-højskole (1999)

Globalisering

• Radiointerview, P1 Samfundstanker, sendt 13. oktober 2008

Forskning

• Publikationer, bøger, software mm. fuldstændig fortegnelse
• heriblandt:
  • 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

Kort CV

Født d. 20. april 1959 i Lyngby. Student fra Stenhus Gymnasium, Holbæk, 1977. Naturvidenskabelig embedseksamen (cand. scient.) i datalogi og matematik fra Københavns Universitet, 1984. PhD i Computer Science fra University of Edinburgh, 1988. Har undervist og forsket ved University of Edinburgh, University of Nigeria og Københavns Universitet. Direktør for IT-højskolen i København, 1999-2003. Rektor for IT-Universitetet i København siden 2003.

• Pressebilleder (2006)
• Æresdoktor ved Kingston University (2007)
• Curriculum Vitae
• Wikipedia

Sidste opdateret: 22. maj 2010.