Джон Хьюз (ученый-компьютерщик)
Р. Джон М. Хьюз | |
|---|---|
 Джон Хьюз. | |
| Рожденный | 15 июля 1958 г. |
| Образование | Оксфордский университет , доктор философии , 1984 г. |
| Известный | Группа функционального программирования в Чалмерсе Haskell Исследование языка Быстрая проверка ; сооснователь, генеральный директор QuviQ «Почему функциональное программирование имеет значение» Тестирование программного обеспечения |
| Награды | Избран членом ACM , 2018 г. |
| Научная карьера | |
| Поля | Информатика , функциональное программирование |
| Учреждения | Технологический университет Чалмерса , QuviQ |
| Диссертация | Проектирование и реализация языков программирования (1984) |
| Веб-сайт | www |
Р. Джон М. Хьюз , родился 15 июля 1958 года — ученый-компьютерщик и профессор кафедры вычислительной техники Технологического университета Чалмерса . [1]
Взносы [ править ]
В 1984 году Хьюз получил докторскую степень в Оксфордском университете за диссертацию «Проектирование и реализация языков программирования». [2]
Хьюз является членом группы функционального программирования в Чалмерсе, и большая часть его исследований связана с языком программирования Haskell . Он проводит исследования в области языков программирования и является автором многих влиятельных исследовательских работ по этой теме, в том числе «Почему функциональное программирование имеет значение». [3]
Хьюз — один из разработчиков QuickCheck , а также сооснователь и генеральный директор компании QuviQ, которая предоставляет программное обеспечение QuickCheck и проводит курсы по его использованию. [4]
В 2016 году он появился на научно-популярном канале YouTube Computerphile, рассказывая о функциональном программировании и QuickCheck. [5] [6]
Признание [ править ]
Хьюз был избран членом ACM в 2018 году за «вклад в тестирование программного обеспечения и функциональное программирование». [7]
См. также [ править ]
Библиография [ править ]
- Дж. Хьюз. «Обобщение монады до стрел ». [8] Наука компьютерного программирования , ( 37 ):67-111, 2000.
Ссылки [ править ]
- ^ «Страница персонала Чалмерса» .
- ^ РАЗРАБОТКА И ВНЕДРЕНИЕ ЯЗЫКОВ ПРОГРАММИРОВАНИЯ (PDF) , Оксфордский университет, июль 1983 г. , получено 7 ноября 2018 г.
- ^ Хьюз, Джон (1989). «Почему функциональное программирование имеет значение» . Компьютерный журнал . 32 (2): 98–107. дои : 10.1093/comjnl/32.2.98 . Проверено 6 мая 2010 г.
- ^ IOHK (26 сентября 2018 г.), IOHK - Тренинг функциональной корректности QuviQ - Джон Хьюз , заархивировано из оригинала 14 декабря 2021 г. , получено 7 сентября 2019 г.
- ^ Computerphile (30 ноября 2016 г.), Functional Programming & Haskell - Computerphile , заархивировано из оригинала 14 декабря 2021 г. , получено 11 января 2018 г.
- ^ Computerphile (18 января 2017 г.), Code Checking Automation - Computerphile , заархивировано из оригинала 14 декабря 2021 г. , получено 11 января 2018 г.
- ^ Стипендиаты ACM 2018 удостоены награды за важнейшие достижения, лежащие в основе цифровой эпохи , Ассоциация вычислительной техники , 5 декабря 2018 г.
- ^ (май 2005 г.) Самая влиятельная работа
Внешние ссылки [ править ]
на Хаскеле Программирование |
|---|
