Филип Вадлер
Фил Уодлер | |
|---|---|
 Уодлер перед лекцией в Эдинбургском университете | |
| Рожденный | Филип Ли Уодлер 8 апреля 1956 г. |
| Гражданство | Американский |
| Альма-матер |
|
| Известный |
|
| Награды |
|
| Научная карьера | |
| Поля | Информатика , языки программирования |
| Учреждения | |
| Диссертация | Апатия лучше, чем лень: алгоритм, который преобразует аппликативные программы для исключения промежуточных списков (1984) |
| Докторантура | Нико Хаберманн |
| Веб-сайт | домашние страницы |
Филип Ли Уодлер (родился 8 апреля 1956 г.) FRS FRSE из Великобритании — американский ученый-компьютерщик , известный своим вкладом в разработку языков программирования и теорию типов . Он занимает должность заведующего кафедрой теоретической информатики в Лаборатории основ информатики Школы информатики Эдинбургского университета . Он внес вклад в теорию функционального программирования. [1] и использование монад ; и проекты чисто функционального языка Haskell [2] и декларативный язык запросов XQuery . В 1984 году он создал язык Оруэлла . Вадлер участвовал в добавлении универсальных типов в Java 5.0. [3] Он также является автором книги «Теоремы бесплатно!», [4] статья, которая положила начало большому количеству исследований по оптимизации функционального языка (см. также Параметричность ). [5]
Образование
[ редактировать ]Уодлер получил степень бакалавра наук по математике в Стэнфордском университете в 1977 году и степень магистра наук в области компьютерных наук в Университете Карнеги-Меллона в 1979 году. [6] Он получил степень доктора философии в области компьютерных наук в Университете Карнеги-Меллон в 1984 году. Его диссертация была озаглавлена «Апатия лучше, чем лень», и ее курировал Нико Хаберманн . [7] [8]
Исследования и карьера
[ редактировать ]Научные интересы Вадлера [9] [10] [11] находятся на языках программирования . [3] [12]
В 1983–1987 годах Уодлер был научным сотрудником в Исследовательской группе по программированию (часть вычислительной лаборатории Оксфордского университета ) и колледже Сент-Кросс в Оксфорде . [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, а его цитирование в Google Scholar составляет 26 864 раза . [22]
С 2018 года Вадлер также является старшим научным сотрудником и руководителем направления языков программирования в IOHK (теперь Input Output Global), компании, занимающейся разработкой блокчейнов, разрабатывающей Cardano . [23] Он участвовал в работе над Plutus, полным по Тьюрингу языком смарт-контрактов для Cardano, написанным на Haskell; система UTXO реестра , собственные токены и система F в Agda . [24] [25]
Награды и почести
[ редактировать ]Вадлер получил награду за самую влиятельную статью десятилетней давности В 2003 году на Симпозиуме по принципам языков программирования . Награда была вручена за статью «Императивное функциональное программирование», написанную совместно с Саймоном Пейтоном Джонсом в 1993 году. [6] [26] В 2005 году он был избран членом Королевского общества Эдинбурга (FRSE). [27] В 2007 году он был назначен научным сотрудником Ассоциации вычислительной техники . [28] В 2023 году он был избран членом Королевского общества (FRS). [29] [30]
Ссылки
[ редактировать ]- ^ «Филип Вадлер: Биография» . О'Рейли Медиа . Проверено 20 марта 2017 г.
- ^ Худак П.; Джонсон, Т.; Кибурц, Д.; Нихил, Р.; Партейн, В.; Петерсон, Дж.; Пейтон Джонс, С .; Уодлер, П .; Бутель, Б.; Фэйрберн, Дж.; Фазель, Дж.; Гусман, МАМ; Хаммонд, К.; Хьюз, Дж. (1992). «Отчет по языку программирования Haskell». Уведомления ACM SIGPLAN . 27 (5): 1. дои : 10.1145/130697.130699 . S2CID 15516611 .
- ^ Jump up to: а б Уодлер, Филип ; Нафталин, Морис (2007). Дженерики и коллекции Java . Севастополь, Калифорния: О'Рейли. ISBN 978-0-596-52775-4 .
- ^ Вадлер, П. (1989). «Теоремы бесплатно!». Материалы четвертой международной конференции «Функциональные языки программирования и компьютерная архитектура» — FPCA '89 . п. 347. дои : 10.1145/99370.99404 . ISBN 978-0897913287 . S2CID 5513047 .
- ^ «Профессор Филип Вадлер: функциональное программирование в финансах» на YouTube
- ^ Jump up to: а б с «Филип Вадлер: резюме» (PDF) . Homepages.inf.ed.ac.uk . Проверено 20 марта 2017 г.
- ^ Уодлер, Филип Ли (1984). Апатия лучше лени: алгоритм, преобразующий аппликативные программы для устранения промежуточных списков (докторская диссертация). Университет Карнеги-Меллон. OCLC 123317612 . ПроКвест 303342238 . (требуется подписка)
- ^ Jump up to: а б Филип Уодлер в проекте «Математическая генеалогия»
- ^ Филип Уодлер на DBLP библиографическом сервере
- ^ Публикации Филипа Уодлера, проиндексированные Google Scholar.
- ^ Публикации Филипа Вадлера , индексируемые библиографической базой данных Scopus . (требуется подписка)
- ^ Бёрд, Ричард Миллер ; Уодлер, Филип (1998). Введение в функциональное программирование с использованием Haskell . Нью-Йорк: Прентис Холл Европа. ISBN 978-0-13-484346-9 .
- ^ «Филип Уодлер» . Inf.ed.ac.uk. Проверено 20 марта 2017 г.
- ^ «Филип Уодлер» . inf.ed.ac.uk. Эдинбургский университет. нд . Проверено 5 февраля 2019 г.
- ^ «Ссылки» . Архивировано из оригинала 17 июня 2006 года . Проверено 22 июня 2006 г.
- ^ «Официальный сайт Links lang» .
- ^ Хатчинс, ДеЛесли (2009). Чистые системы подтипов: теория типов расширяемого программного обеспечения . ethos.bl.uk (кандидатская диссертация). Эдинбургский университет. hdl : 1842/3937 . OCLC 781103005 .
- ^ Лестер, Дэвид (1988). Редукция графа комбинатора: сравнение и его приложения . bodleian.ox.ac.uk (докторская диссертация). Оксфордский университет. ISBN 9780902928558 . OCLC 937098100 .
- ^ Яллоп, Джереми (2010). Абстракция для веб-программирования . ethos.bl.uk (кандидатская диссертация). Эдинбургский университет. hdl : 1842/4683 . OCLC 827264319 .
- ^ «Список людей, участвующих в лаборатории блокчейн-технологий» . ed.ac.uk. Эдинбургский университет. 14 декабря 2018 года . Проверено 5 февраля 2019 г.
- ^ Уодлер, Филип (nd). «Домашняя страница Филипа Вадлера» . homepages.inf.ed.ac.uk . домашние страницы . Проверено 5 февраля 2019 г.
- ^ «Филип Уодлер» . ученый.google.co.uk . Google Академик. нд . Проверено 5 февраля 2019 г.
- ^ Уолл, Джереми (12 декабря 2018 г.). «IOHK запускает 2 новых инструмента для разработки смарт-контрактов» . Инвестируйте в блокчейн . Проверено 25 марта 2020 г.
- ^ Уодлер, Филип (11 декабря 2018 г.). «Язык смарт-контрактов для Cardano представлен на PlutusFest» . Архивировано из оригинала 17 марта 2020 года . Проверено 11 июня 2003 г.
- ^ «Профессор Филип Вадлер, Исследовательские работы - IOHK Research» . ЙОХК . Проверено 11 июня 2023 г.
- ^ Пейтон Джонс, СЛ ; Вадлер, П. (1993). «Императивное функциональное программирование». Материалы 20-го симпозиума ACM SIGPLAN-SIGACT по принципам языков программирования – POPL '93 . п. 71. CiteSeerX 10.1.1.53.2504 . дои : 10.1145/158511.158524 . ISBN 978-0897915601 . S2CID 9751593 .
- ^ «Профессор Филип Уодлер» . rse.org.uk. Королевское общество Эдинбурга .
- ^ Страница награждения стипендии ACM
- ^ Куинн, Энтони (14 июля 2023 г.). «Вадлер следует за гигантами науки» . Проверено 4 августа 2023 г.
- ^ «Филип Уодлер» . Royalsociety.org . Проверено 26 мая 2023 г.
СМИ, связанные с Филипом Уодлером, на Викискладе?
на Хаскеле Программирование |
|---|
- 1956 рождений
- Живые люди
- Выпускники Стэнфордского университета
- Выпускники Университета Карнеги-Меллон
- Американские ученые-компьютерщики
- Британские ученые-компьютерщики
- Члены кафедры компьютерных наук Оксфордского университета
- Стипендиаты колледжа Сент-Кросс, Оксфорд
- Академики Университета Глазго
- Ученые из Bell Labs
- Академики Эдинбургского университета
- Функциональное программирование
- Исследователи языков программирования
- Формальные методы люди
- Редакторы американских академических журналов
- Писатели по информатике
- Американские авторы учебников
- Американские писатели-мужчины научной литературы
- Члены Королевского общества Эдинбурга
- Члены Королевского общества
- 2007 г. Члены Ассоциации вычислительной техники.
- Американские эмигранты в Соединенном Королевстве
- Люди, связанные с Кардано