Mads Tofte
Mads Tofte | |
|---|---|
| Born | 20 April 1959 Lyngby, Denmark |
| Citizenship | Danish |
| Education | University of Copenhagen (MSc) University of Edinburgh (PhD) |
| Known for | Standard ML IT University of Copenhagen |
| Awards | IT prisen 2002 |
| Scientific career | |
| 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 |
| 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.