Оглавление [Скрыть]
Мадс Тофте
-
Биография и карьера Мадса Тофте
- Мадс Тофте – датский учёный в области компьютерных наук, известен своими работами в области компиляторов и языков программирования.
- Он получил образование в Копенгагенском университете и защитил докторскую диссертацию в Эдинбургском университете.
- Тофте является почётным доктором Кингстонского университета и был управляющим директором Копенгагенского университета информационных технологий.
-
Научные достижения
- Он разработал генератор компиляторов CERES и доказал его компиляторские свойства.
- Он разработал первую систему звуковых типов для полиморфных ссылок в стиле ML.
- Он формализовал модульную систему для языка программирования ML и является соавтором стандарта ML.
- Он разработал концепцию регионального вывода для анализа программ и управления памятью.
- Он разработал инструмент AnnoDomini для анализа устаревшего программного обеспечения COBOL.
-
Вклад в образование и управление
- Он руководил созданием Копенгагенского университета информационных технологий с нуля и был его вице-канцлером.
- В апреле 2018 года он покинул университет, а в январе 2019 года переехал из Дании из-за иммиграционных ограничений.
-
Награды и признание
- Он получил премию IDG в области информационных технологий и премию ACM POPL ’94.
-
Библиография
- В статье приведены ссылки на его научные работы и публикации.