stringtranslate.com

Филипп Вадлер

Филип Ли Уодлер (родился 8 апреля 1956 года) — американский учёный-компьютерщик, проживающий в Великобритании и известный своим вкладом в разработку языков программирования и теорию типов . Он занимает должность заведующего кафедрой теоретической информатики в Лаборатории основ компьютерных наук Школы информатики Эдинбургского университета . Он внёс вклад в теорию функционального программирования [1] и использование монад ; а также в разработку чисто функционального языка Haskell [2] и декларативного языка запросов XQuery . В 1984 году он создал язык Orwell . Уодлер участвовал в добавлении универсальных типов в Java 5.0. [3] Он также является автором «Теоремы бесплатно!» [4] , статьи, которая положила начало многим исследованиям по оптимизации функционального языка (см. также Parametricity ). [5]

Образование

Вадлер получил степень бакалавра наук по математике в Стэнфордском университете в 1977 году и степень магистра наук по информатике в Университете Карнеги-Меллона в 1979 году. [6] Он получил степень доктора философии по информатике в Университете Карнеги-Меллона в 1984 году. Его диссертация называлась «Апатия лучше лени» и была написана под руководством Нико Хаберманна . [7] [8]

Исследования и карьера

Научные интересы Вадлера [9] [10] [11] лежат в области языков программирования . [3] [12]

Вадлер был научным сотрудником Programming Research Group ( часть Oxford University Computing Laboratory ) и St Cross College, Oxford в 1983–87 годах. [6] Он был постепенно лектором, доцентом и профессором в Университете Глазго с 1987 по 1996 год. Вадлер был членом технического персонала в Bell Labs , Lucent Technologies (1996–99), а затем в Avaya Labs (1999–2003). С 2003 года он является профессором теоретической информатики в Школе информатики в Эдинбургском университете . [13]

С 1990 по 2004 год Уодлер был редактором журнала «Функциональное программирование» .

С 2003 года Вадлер является профессором теоретической информатики в Лаборатории основ информатики Эдинбургского университета и заведует кафедрой теоретической информатики. [14] В 2006 году он работал над новым функциональным языком для написания веб-приложений под названием Links . [15] [16] Он руководил многими докторантами до их завершения. [8] [17] [18] [19] Он также является членом университетской Лаборатории технологии блокчейн . [20] [21] Уадлер имеет индекс Хирша 72 с 26 864 цитированиями в Google Scholar . [22]

С 2018 года Вадлер также является старшим научным сотрудником и руководителем направления языков программирования в IOHK (теперь Input Output Global), компании по разработке блокчейнов, разрабатывающей Cardano . [23] Он внес вклад в работу над Plutus, языком смарт -контрактов Тьюринга для Cardano, написанным на Haskell; системой реестра UTXO , собственными токенами и System F в Agda . [24] [25]

Награды и почести

В 2003 году Вадлер получил награду за самую влиятельную работу десятилетней давности от Симпозиума по принципам языков программирования . Награда была присуждена за «Императивное функциональное программирование», работу, написанную совместно с Саймоном Пейтоном Джонсом в 1993 году. [6] [26] В 2005 году он был избран членом Королевского общества Эдинбурга (FRSE). [27] В 2007 году он был принят в члены Ассоциации вычислительной техники . [28] Он был избран членом Королевского общества (FRS) в 2023 году. [29] [30]

Ссылки

  1. ^ "Филип Уодлер: Биография". O'Reilly Media . Получено 20 марта 2017 г.
  2. ^ Hudak, P.; Johnsson, T.; Kieburtz, D.; Nikhil, R.; Partain, W.; Peterson, J.; Peyton Jones, S .; Wadler, P .; Boutel, B.; Fairbairn, J.; Fasel, J.; Guzmán, MAM; Hammond, K.; Hughes, J. (1992). "Отчет о языке программирования Haskell". ACM SIGPLAN Notices . 27 (5): 1. doi :10.1145/130697.130699. S2CID  15516611.
  3. ^ ab Wadler, Philip ; Naftalin, Maurice (2007). Java generics and collections . Севастополь, Калифорния: O'Reilly. ISBN 978-0-596-52775-4.
  4. ^ Wadler, P. (1989). "Theorems for free!". Труды четвертой международной конференции по языкам функционального программирования и архитектуре компьютеров – FPCA '89 . стр. 347. doi :10.1145/99370.99404. ISBN 978-0897913287. S2CID  5513047.
  5. ^ "Профессор Филип Вадлер: Функциональное программирование в финансах" на YouTube
  6. ^ abc "Philip Wadler: CV" (PDF) . Homepages.inf.ed.ac.uk . Получено 20 марта 2017 г. .
  7. ^ Вадлер, Филип Ли (1984). Апатия лучше лени: алгоритм, преобразующий прикладные программы для устранения промежуточных списков (диссертация). Университет Карнеги-Меллона. OCLC  123317612. ProQuest  303342238. (требуется подписка)
  8. ^ ab Филип Вадлер в проекте «Генеалогия математики»
  9. ^ Филип Вадлер на сервере библиографии DBLP
  10. ^ Публикации Филипа Вадлера, проиндексированные Google Scholar
  11. ^ Публикации Филипа Вадлера, проиндексированные в библиографической базе данных Scopus . (требуется подписка)
  12. ^ Берд, Ричард Миллер ; Вадлер, Филип (1998). Введение в функциональное программирование с использованием Haskell . Нью-Йорк: Prentice Hall Europe. ISBN 978-0-13-484346-9.
  13. ^ "Philip Wadler". Inf.ed.ac.uk . Получено 20 марта 2017 г. .
  14. ^ "Philip Wadler". inf.ed.ac.uk . Эдинбургский университет. nd . Получено 5 февраля 2019 г. .
  15. ^ "Ссылки". Архивировано из оригинала 17 июня 2006 г. Получено 22 июня 2006 г.
  16. ^ "Официальный сайт Links lang".
  17. ^ Хатчинс, ДеЛесли (2009). Чистые системы подтипов: теория типов для расширяемого программного обеспечения. ethos.bl.uk (диссертация). Эдинбургский университет. hdl :1842/3937. OCLC  781103005. Значок открытого доступа
  18. ^ Лестер, Дэвид (1988). Редукция комбинаторного графа: конгруэнтность и ее приложения. bodleian.ox.ac.uk (диссертация доктора философии). Оксфордский университет. ISBN 9780902928558. OCLC  937098100.
  19. ^ Яллоп, Джереми (2010). Абстракция для веб-программирования. ethos.bl.uk (диссертация). Эдинбургский университет. hdl :1842/4683. OCLC  827264319. Значок открытого доступа
  20. ^ «Список людей, связанных с Лабораторией технологии блокчейн». ed.ac.uk . Эдинбургский университет. 14 декабря 2018 г. Получено 5 февраля 2019 г.
  21. ^ Вадлер, Филипп (б.д.). "Домашняя страница Филиппа Вадлера". homepages.inf.ed.ac.uk . домашние страницы . Получено 5 февраля 2019 г. .
  22. ^ "Philip Wadler". scholar.google.co.uk . Google Scholar. nd . Получено 5 февраля 2019 г. .
  23. ^ Уолл, Джереми (12 декабря 2018 г.). «IOHK запускает 2 новых инструмента для разработки смарт-контрактов». Invest in Blockchain . Получено 25 марта 2020 г. .
  24. ^ Wadler, Philip (11 декабря 2018 г.). «Язык смарт-контрактов для Cardano запускается на PlutusFest». Архивировано из оригинала 17 марта 2020 г. Получено 11 июня 2003 г.
  25. ^ "Проф. Филип Вадлер, Научные статьи - Исследования IOHK". IOHK . Получено 11 июня 2023 г. .
  26. ^ Пейтон Джонс, С. Л.; Вадлер, П. (1993). «Императивное функциональное программирование». Труды 20-го симпозиума ACM SIGPLAN-SIGACT по принципам языков программирования – POPL '93 . стр. 71. CiteSeerX 10.1.1.53.2504 . doi :10.1145/158511.158524. ISBN  978-0897915601. S2CID  9751593.
  27. ^ "Профессор Филип Вадлер". rse.org.uk . Королевское общество Эдинбурга .
  28. ^ Страница стипендий ACM
  29. ^ Куинн, Энтони (14 июля 2023 г.). «Уодлер следует за гигантами науки» . Получено 4 августа 2023 г.
  30. ^ "Филипп Уодлер". Royalsociety.org . Получено 26 мая 2023 г. .

Медиа, связанные с Филипом Уодлером на Wikimedia Commons