Rektor Mads Tofte, R., PhD
email: tofte@itu.dk
Direktionsassistent: Gitte Gramstrup, gigr@itu.dk tel. 7218 5072
IT-Universitetet i København
- Tre korte film om de tre principper, der ligger til grund for IT-Universitetet
- Strategier for IT-Universitetet 2006-2010, 2001-2003
- Velkomst til Åbent hus-arrangement d. 31. oktober 2006 (Powerpoint) (2006)
- 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
- Dogmevideo:
- 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
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
+45 7218 5000
+ 45 7218 5001
