Мадс Тофте | |
|---|---|
 | |
| Родившийся | 20 апреля 1959 г. Люнгбю, Дания |
| Гражданство | Датский |
| Известен | Standard ML IT Копенгагенский университет |
| Награды | IT присл. 2002 г. |
| Научная карьера | |
| Поля | Информатика |
| Учреждения | Копенгагенский университет Эдинбургский университет Нигерийский университет Информационные технологии Копенгагенского университета |
| Тезис | Операционная семантика и вывод полиморфного типа (1987) |
| Докторант | Робин Милнер |
| Интернет сайт | www |
Мадс Тофте (родился 20 апреля 1959 г.) - датский ученый-компьютерщик , внесший особый вклад в функциональное программирование и язык программирования Standard ML .
Образование [ править ]
Тофте родился в Люнгбю , Дания, а вырос в Холбеке , Дания . Он изучал информатику и математику в Копенгагенском университете, где в 1984 году получил степень магистра наук (под руководством Нила Д. Джонса ); затем в Эдинбургском университете, где он получил степень доктора философии в 1988 году (советник Робин Милнер ). Он является почетным доктором Кингстонского университета в 2007 году .
Исследования и карьера [ править ]
В 1984 MSc диссертации [1] и предшествующей работе он исследовал и формализован генератор компилятора Ceres (с Нилом Д. Джонсом), и показал , что (1) генератор компилятора сам компилятор из определений языка для составителей; и (2) при подходящих предположениях существует определение языка, которое в применении к самому себе генерирует генератор компилятора. Это тесно связано с самостоятельным применением при частичной оценке .
В своей докторской диссертации он разработал и доказал правильность первой системы звуковых типов для полиморфных ссылок в стиле ML , что в то время было важной открытой проблемой. Кроме того, он формализовал вариант модульной системы языка программирования Standard ML .
Мадс Tofte является соавтором определения [2] из Standard ML и соответствующих комментариев, вероятно, наиболее точное описание разработаны для любого реалистического языка программирования. Он участвовал в разработке ML Kit, реализации стандартного ML , структура которого полностью соответствует определению.
Впоследствии он разработал (вместе с Жан-Пьером Тальпеном ) понятие логического вывода , метод анализа программ и управления памятью , который позволяет избежать или минимизировать использование сборки мусора . Эта работа была впервые опубликована [3] в POPL 1994, а в 2005 году она была удостоена награды Ассоциации вычислительной техники (ACM) POPL 1994 Most Influential Paper Award.
В конце девяностых он совместно разработал (с Фрицем Хенглейном и другими) систему типов и сложный инструмент под названием AnnoDomini для смягчения проблемы 2000 года в программном обеспечении COBOL . Инструмент анализирует устаревшие программы, чтобы обнаружить все поля данных, которые используются в качестве дат. Эта работа была представлена в приглашенной программе POPL 1999. [4]
В апреле 1999 года он был назначен первым управляющим директором Копенгагенского ИТ-университета . Он руководил созданием университета с нуля, наймом преподавателей / сотрудников, набором студентов и разработкой учебных программ. Первые студенты начали 5 месяцев спустя , в сентябре 1999 г. С 2003 года он был вице - канцлером в IT - Университете Копенгагена .
В апреле 2018 года было объявлено, что он покинет ИТ-университет Копенгагена в конце года. В январе 2019 года он объявил, что отправится из Дании, чтобы быть со своей дочерью, в связи с иммиграционными законами Дании, которые не позволяли ей въехать в страну. [5]
Награды [ править ]
- 2002 Награда IDG IT ( IT-prisen ) за руководство Копенгагенского ИТ-университета.
- 2005 Премия ACM POPL '94 «Самая влиятельная газета» (совместно с Жан-Пьером Тальпеном).
Ссылки [ править ]
- ^ М. Тофте: Генераторы компиляторов: что они могут делать, что они могут делать и что они, вероятно, никогда не будут делать. Springer-Verlag 1990
- ^ Р. Милнер , М. Тофте, Р. Харпер : Определение стандартного машинного обучения, MIT Press 1990, второе издание 1997 г.
- ^ М. Тофте и Ж.-П. Талпин: Реализация типизированного лямбда-исчисления вызова по значению с использованием стека регионов , In Proceedings of POPL 1994
- ^ PH Eidorff, F. Henglein, C. Mossin, H. Niss, MH Sørensen, M. Tofte: AnnoDomini: От теории типов к инструменту преобразования 2000 года . В трудах POPL 1999
- ^ Тофте, Мэдс. "Jeg forlader nu Danmark i protest mod de exstreme regler, der forhindrer, at min afrikanske acceptdatter kommer til landet" . Политикен . Проверено 28 января 2019 .
Внешние ссылки [ править ]
- резюме
- Комплект ML с областями
