Оглавление
Филип Уодлер
-
Биография Филипа Ли Уодлера
- Американский ученый-компьютерщик, родился 8 апреля 1956 года
- Известен вкладом в языки программирования и теорию типов
- Заведующий кафедрой теоретической информатики в Эдинбургском университете
-
Научная карьера и достижения
- Внес вклад в функциональное программирование и разработку Haskell
- Участвовал в добавлении универсальных типов в Java 5.0
- Автор “Теорем бесплатно!” и работ по оптимизации языков
-
Образование и научная деятельность
- Получил степени бакалавра и магистра в Стэнфорде и Карнеги-Меллон
- Защитил докторскую диссертацию в Карнеги-Меллон в 1984 году
- Работал в Оксфорде, Глазго, Bell Labs, Avaya Labs и Эдинбургском университете
- Был редактором Journal of Functional Programming и руководителем кафедры теоретической информатики
-
Вклад в языки программирования
- Создал язык Оруэлла в 1984 году
- Участвовал в разработке XQuery и Links
- Руководил докторантами и работал над блокчейном и смарт-контрактами для Cardano
-
Награды и почетные звания
- Получил награду за работу 1993 года на симпозиуме по принципам языков программирования
- Избран членом Королевского общества Эдинбурга и Ассоциации вычислительной техники
- В 2023 году избран членом Королевского общества
-
Рекомендации
- Ссылки на СМИ, связанные с Филипом Уодлером, на Викискладе