Famous People with Name Tofte

Britt Pettersen Tofte            Origin/Culture/Country: Norwegian

Britt Pettersen Tofte: is a former Norwegian cross country skier who competed during the 1980s. Pettersen earned one gold and two bronzes at two Winter Olympic Games. At the FIS Nordic World Ski Championships, she won one gold (4 x 5 km - 1982), one silver (20 km - 1985), and t

Mads Tofte            Origin/Culture/Country: Danish

Mads Tofte: is a Danish computer scientist who has contributed in particular to Functional programming and the Standard ML programming language. 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 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. Subsequently he developed (with Jean-Pierre Talpin) the notion of region inference, a program analysis and memory management technique that avoids or minimizes the use of garbage collection. This work was first published in POPL 1994 and in 2005 it earned the Association for Computing Machinery (ACM) POPL 1994 Most Influential Paper Award.