Фил Уодлер | |
---|---|
Филип Вадлер перед лекцией в Эдинбургском университете . | |
Родившийся | Филип Ли Вадлер 8 апреля 1956 г. |
Альма-матер |
|
Награды |
|
Научная карьера | |
Поля | Языки программирования [3] |
Учреждения | |
Тезис | Вялость лучше, чем лень: алгоритм, который преобразует аппликативные программы для исключения промежуточных списков (1984) |
Докторант | Нико Хаберманн [4] |
Докторанты | |
Интернет сайт |
Филип Ли Вадлер (родился 8 апреля 1956 г.) - американский ученый-компьютерщик, известный своим вкладом в разработку языков программирования и теорию типов . В частности, он внес свой вклад в теорию за функциональным программированием [8] и использование монад в функциональном программировании , дизайн чисто функциональный языке Haskell , [9] и XQuery язык декларативного запроса. В 1984 году он создал язык программирования Оруэлла . Вадлер участвовал в добавлении универсальных типов в Java 5.0. [10]Он также является автором статьи « Теоремы» бесплатно! [11], которые послужили поводом для большого количества исследований по оптимизации функционального языка (см. Также Параметричность ).
Образование [ править ]
Wadler получил степень бакалавра наук степень в области математики из Стэнфордского университета в 1977 году, и магистра наук степень в области компьютерных наук Университета Карнеги - Меллона в 1979 г. [12] Он закончил свою степень доктора философии в области компьютерных наук в Университете Карнеги - Меллона в 1984 году. Его диссертация была озаглавлена « Вялость лучше, чем лень», и под ее руководством Нико Хаберманн . [13] [4]
Исследования и карьера [ править ]
Исследовательские интересы Вадлера [14] [3] [15] связаны с языками программирования . [10] [16]
Вадлер был научным сотрудником в исследовательской группе программирования (часть вычислительной лаборатории Оксфордского университета ) и в колледже Сент-Кросс в Оксфорде в 1983–87 годах. [12] Он постепенно был лектором, читателем и профессором в Университете Глазго с 1987 по 1996 год. Вадлер был членом технического персонала в Bell Labs , Lucent Technologies (1996–99), а затем в Avaya Labs (1999–2003). . С 2003 года он является профессором теоретической информатики в Школе информатики Эдинбургского университета . [17]
Вадлер был редактором журнала функционального программирования с 1990 по 2004 год. Вадлер в настоящее время [ когда? ] работает над новым функциональным языком, предназначенным для написания веб-приложений , который называется Links . [18] Он руководил многочисленными докторантами до завершения. [4] [5] [6] [7]
С 2003 года Вадлер является профессором теоретической информатики в Лаборатории основ информатики Эдинбургского университета и заведующим кафедрой теоретической информатики. [19] Он также является членом Лаборатории технологии блокчейн при университете. [20] [21] У него индекс Хирша 70, 24 447 цитирований в Google Scholar . [22] По состоянию на декабрь 2018 года Вадлер был руководителем области языков программирования в IOHK, фирме по разработке блокчейнов. [23]
Награды и награды [ править ]
Вадлер получил премию « Самая влиятельная статья по POPL» в 2003 году за доклад на симпозиуме POPL 1993 года « Императивное функциональное программирование» , совместно с Саймоном Пейтоном Джонсом . [12] [24] В 2005 году он был избран членом Королевского общества Эдинбурга . [1] В 2007 году он был введен в качестве ACM Fellow по Ассоциации вычислительной техники (ACM). [2]
Ссылки [ править ]
- ^ a b Профиль Эдинбургского королевского общества
- ^ a b Страница награды стипендии ACM
- ^ a b Публикации Филипа Вадлера, проиндексированные Google Scholar
- ^ a b c d e f g Филип Уодлер в проекте « Математическая генеалогия»
- ^ a b Хатчинс, Делесли (2009). Системы чистых подтипов: теория типов для расширяемого программного обеспечения . ethos.bl.uk (кандидатская диссертация). Эдинбургский университет. hdl : 1842/3937 . OCLC 781103005 .
- ^ а б Лестер, Дэвид. (1988). Редукция комбинаторного графа: сравнение и его приложения . bodleian.ox.ac.uk (докторская диссертация). Оксфордский университет. ISBN 9780902928558. OCLC 937098100 .
- ^ a b Яллоп, Джереми (2010). Абстракция для веб-программирования . ethos.bl.uk (кандидатская диссертация). Эдинбургский университет. ЛВП : 1842/4683 . OCLC 827264319 .
- ^ «Филип Вадлер: Биография» . O'Reilly Media . Проверено 20 марта 2017 года .
- ^ Худак, П .; Johnsson, T .; Kieburtz, D .; Нихил, Р .; Partain, W .; Peterson, J .; Пейтон Джонс, С .; Wadler, P .; Бутель, Б .; Fairbairn, J .; Fasel, J .; Гусман, МАМ; Hammond, K .; Хьюз, Дж. (1992). «Отчет по языку программирования Haskell». Уведомления ACM SIGPLAN . 27 (5): 1. DOI : 10,1145 / 130697,130699 . S2CID 15516611 .
- ^ a b Вадлер, Филипп ; Нафталин, Морис (2007). Дженерики и коллекции Java . Севастополь, Калифорния: О'Рейли. ISBN 978-0-596-52775-4.
- ^ Wadler, P. (1989). «Теоремы бесплатно!». Материалы четвертой международной конференции по функциональным языкам программирования и архитектуре компьютера - FPCA '89 . п. 347. DOI : 10,1145 / 99370,99404 . ISBN 978-0897913287. S2CID 5513047 .
- ^ a b c "Филип Вадлер: CV" (PDF) . Homepages.inf.ed.ac.uk . Проверено 20 марта 2017 года .
- ^ Wadler, Филип Ли (1984). Вялость лучше, чем лень: алгоритм, преобразующий прикладные программы для исключения промежуточных списков (докторская диссертация). Университет Карнеги Меллон. OCLC 123317612 . ProQuest 303342238 . (требуется подписка)
- ^ Филип Вадлер насервере библиографии DBLP
- ^ Публикация Филиппа Уодлер в индексируется Scopus библиографической базы данных. (требуется подписка)
- ^ Птица, Ричард Миллер ; Уодлер, Филипп (1998). Введение в функциональное программирование с использованием Haskell . Нью-Йорк: Prentice Hall Europe. ISBN 978-0-13-484346-9.
- ^ "Филип Вадлер" . Inf.ed.ac.uk . Проверено 20 марта 2017 года .
- ^ "Архивная копия" . Архивировано из оригинала 17 июня 2006 года . Проверено 22 июня 2006 года .CS1 maint: заархивированная копия как заголовок ( ссылка )
- ^ "Филип Вадлер" . inf.ed.ac.uk . Эдинбургский университет. nd . Проверено 5 февраля 2019 года .
- ^ «Список людей, связанных с лабораторией технологии блокчейн» . ed.ac.uk . Эдинбургский университет. 14 декабря 2018 . Проверено 5 февраля 2019 года .
- ^ Вадлер, Филипп (nd). "Домашняя страница Филипа Вадлера" . http://homepages.inf.ed.ac.uk . домашние страницы . Проверено 5 февраля 2019 года . Внешняя ссылка в
|website=
( помощь ) - ^ "Филип Вадлер" . scholar.google.co.uk . Google ученый. nd . Проверено 5 февраля 2019 года .
- ↑ Wall, Джереми (12 декабря 2018 г.). «IOHK запускает 2 новых инструмента для разработки смарт-контрактов» . Инвестируйте в блокчейн . Проверено 25 марта 2020 года .
- ^ Пейтон Джонс, SL ; Уодлер, П. (1993). «Императивное функциональное программирование». Материалы 20-го симпозиума ACM SIGPLAN-SIGACT по принципам языков программирования - POPL '93 . п. 71. CiteSeerX 10.1.1.53.2504 . DOI : 10.1145 / 158511.158524 . ISBN 978-0897915601. S2CID 9751593 .
Внешние ссылки [ править ]
- СМИ, связанные с Филипом Вадлером, на Викискладе?