Mads Tofte
| Mads Tofte | |
|---|---|
 |
|
| Born |
20 April 1959 Lyngby, Denmark |
| Citizenship | Danish |
| Fields | Computer Science |
| Institutions |
Copenhagen University University of Edinburgh University of Nigeria IT University of Copenhagen |
| Thesis | Operational semantics and polymorphic type inference (1987) |
| Doctoral advisor | Robin Milner |
| Known for |
Standard ML IT University of Copenhagen |
| Notable awards | IT prisen 2002 |
|
Website www |
|
Mads Tofte (born 20 April 1959) is a Danish computer scientist who has contributed in particular to functional programming and the Standard ML programming language.
Tofte was born in Lyngby, Denmark and grew up in Holbæk, Denmark. He studied computer science and mathematics at the University of Copenhagen where he obtained an MSc degree (with supervisor Neil D. Jones) in 1984; then at University of Edinburgh where he obtained a PhD degree in 1988 (advised by Robin Milner). He is doctor honoris causa 2007 from Kingston University.
In his 1984 MSc thesis and prior work he investigated and formalized the CERES compiler generator (with Neil D. Jones), and showed that (1) a compiler generator is itself a compiler from language definitions to compilers; and (2) under suitable assumptions there exists a language definition that, when applied to itself, generates a compiler generator. This has close connections to self-application in partial evaluation.
In his PhD thesis he developed and proved correct the first sound type system for ML-style polymorphic references, an important open problem at the time. Moreover, he formalized a variant of the module system of the Standard ML programming language.
...
Wikipedia