Mads Tofte - Mads Tofte
Mads Tofte | |
|---|---|
 | |
| narozený | 20.dubna 1959 Lyngby, Dánsko |
| Státní občanství | dánština |
| Známý jako | Standardní ML IT univerzita v Kodani |
| Ocenění | IT vězení 2002 |
| Vědecká kariéra | |
| Pole | Počítačová věda |
| Instituce | Kodaňská univerzita University of Edinburgh University of Nigeria IT univerzita v Kodani |
| Teze | Provozní sémantika a odvození polymorfního typu (1987) |
| Doktorský poradce | Robin Milner |
| webová stránka | www |
Mads Tofte (narozen 20. dubna 1959) je a dánština počítačový vědec který přispěl zejména k Funkcionální programování a Standardní ML programovací jazyk.
Vzdělávání
Tofte se narodil v Lyngby, Dánsko a vyrostl v Holbaek, Dánsko. Studoval počítačová věda a matematika na Kodaňská univerzita kde získal MSc stupně (s vedoucím Neil D. Jones ) v roce 1984; pak v University of Edinburgh kde získal a PhD stupně v roce 1988 (doporučeno Robin Milner ). Je doktorem honoris causa 2007 Kingston University.
Výzkum a kariéra
V jeho 1984 MSc teze[1] a předchozí práce prozkoumal a formalizoval generátor kompilátoru CERES (s Neilem D. Jonesem) a ukázal, že (1) generátor kompilátoru je sám překladačem od jazykových definic po kompilátory; a (2) za vhodných předpokladů existuje definice jazyka, která při použití na sebe generuje generátor kompilátoru. To má úzké připojení k vlastní aplikaci v dílčí hodnocení.
V jeho PhD Diplomová práce, kterou vyvinul a prokázal správnost prvního systému zvukového typu pro ML -styl polymorfní odkazy, v té době důležitý otevřený problém. Kromě toho formalizoval variantu modulového systému Standardní ML programovací jazyk.
Mads Tofte je spoluautorem Definice[2] z Standardní ML a související komentář, pravděpodobně nejpřesnější popis vyvinutý pro jakýkoli realistický programovací jazyk. Spoluvyvinul ML Kit, implementaci Standardní ML jehož struktura přesně odpovídá definici.
Následně se vyvinul (s Jean-Pierre Talpin ) pojem odvození regionu, a programová analýza a správa paměti technika, která se vyhne nebo minimalizuje použití odvoz odpadu. Tato práce byla poprvé publikována[3] v POPL 1994 a v roce 2005 získala Sdružení pro výpočetní techniku (ACM) POPL Cena za nejvlivnější papír z roku 1994.
Na konci devadesátých let spolupracoval na vývoji (s Fritz Henglein a další) typový systém a sofistikovaný nástroj zvaný AnnoDomini pro zmírnění jeho dopadů Problém roku 2000 v COBOL software. Nástroj analyzuje starší programy a zjišťuje všechna datová pole, která se používají jako data. Tato práce byla představena v hlavní řeči POPL 1999.[4]
V dubnu 1999 byl jmenován prvním generálním ředitelem IT univerzita v Kodani. Dohlížel na vznik univerzity od nuly, najímání fakulty / zaměstnanců, nábor studentů a koncepci studijních programů. První studenti začali o 5 měsíců později v září 1999. Od roku 2003 působí vicekancléř z IT univerzita v Kodani.
V dubnu 2018 bylo oznámeno, že na konci roku opustí IT univerzitu v Kodani. V lednu 2019 oznámil, že odpluje z Dánska, aby byl se svou dcerou, v důsledku dánských imigračních zákonů, které jí bránily ve vstupu do země.[5]
Ocenění
- 2002 Cena IDG IT (IT-vězení), pro vedení IT univerzita v Kodani
- 2005 ACM POPL Cena za nejvlivnější papír z roku 1994 (Jean-Pierre Talpin).
Reference
- ^ M. Tofte: Generátory překladačů: Co mohou dělat, co mohou dělat a co pravděpodobně nikdy neudělají. Springer-Verlag 1990
- ^ R. Milner, M. Tofte, R. Harper: The Definition of Standard ML, MIT Press 1990, second edition 1997
- ^ M. Tofte a J.-P. Talpin: Implementace lambda-kalkulu zadaného podle hodnoty podle hodnoty pomocí zásobníku oblastí, Ve sborníku POPL 1994
- ^ P.H. Eidorff, F. Henglein, C. Mossin, H. Niss, M.H. Sørensen, M. Tofte: AnnoDomini: Od teorie typů k nástroji pro převod z roku 2000. In Proceedings of POPL 1999
- ^ Tofte, Mads. „Jeg forlader nu Danmark i protest mod de ekstreme regler, der forhindrer, at min afrikanske adoptivdatter kommer til landet“. Politiken. Citováno 28. ledna 2019.
