Саймон Пейтон Джонс
Саймон Пейтон Джонс | |
|---|---|
.jpg) Пейтон Джонс в 2016 году | |
| Рожденный | 18 января 1958 г. Южная Африка |
| Гражданство | Британский |
| Альма-матер | Кембриджский университет |
| Известный | Глазго Хаскелл-компилятор С-- |
| Награды | Сотрудник ACM (2004 г.) [1] |
| Научная карьера | |
| Поля | |
| Учреждения | |
| Веб-сайт | Саймон |
Саймон Пейтон Джонс OBE FRS MAE DFBCS [4] [5] (родился 18 января 1958 г.) — британский ученый-компьютерщик , который исследует реализацию и применение языков функционального программирования , особенно ленивого функционального программирования . [2] [6]
Образование [ править ]
Пейтон Джонс окончил Кембриджский университет со бакалавра наук. степенью [7] получил степень доктора электротехники в 1979 году. В это время он был студентом Тринити-колледжа в Кембридже , а затем в 1980 году получил Кембриджский диплом по компьютерным наукам. Он никогда не защитил докторскую диссертацию. [8] [9]
и исследования Карьера
Пейтон Джонс проработал в промышленности два года, прежде чем стал преподавателем в Университетском колледже Лондона , а с 1990 по 1998 год — профессором Университета Глазго . [10] С 1998 по 2021 год работал научным сотрудником в Microsoft Research в Кембридже, Англия . [10] [11] [12] С 2021 года работает в Epic Games научным сотрудником. [13]
Он внес большой вклад в разработку языка программирования Haskell . [14] и ведущий разработчик компилятора Glasgow Haskell (GHC). [15] Он также является соавтором языка программирования C- , предназначенного для промежуточного представления программ между специфичным для языка интерфейсом компилятора и универсальным внутренним генератором кода и оптимизатором. C-- используется в GHC. [16] [17] [18]
Он также был одним из основных авторов книги 1999 года «Пробуждение кибернавтов» . [19] который исследовал этические и духовные последствия Интернета.
Пейтон Джонс возглавляет группу «Вычисления в школе» (CAS). [3] организация, целью которой является содействие преподаванию информатики в школе. После этих усилий в 2019 году он был назначен председателем недавно основанного Национального центра компьютерного образования Великобритании . [20]
Пейтон Джонс сыграл жизненно важную роль в разработке новых функций Microsoft Excel с 2003 года, когда он опубликовал статью о определяемых пользователем функциях. [21] В 2021 году анонимные функции и выражения let стали доступны в версии Excel для Office 365 в качестве бета-функции. [22]
Почести и награды [ править ]
В 2004 году он был удостоен звания члена Ассоциации вычислительной техники за вклад в развитие функциональных языков программирования. [1] В 2011 году ему было присвоено членство в Европейской академии (MAE). [23]
В 2011 году он и Саймон Марлоу были награждены премией SIGPLAN Programming Languages Software Award за свою работу над GHC. [24]
Он получил степень почетного доктора Университета Глазго в 2013 году. [25] и почетный доктор Кентского университета в 2017 году. [26]
В 2016 году он был избран членом Королевского общества (FRS). [4] и почетный член Британского компьютерного общества (DFBCS) в 2017 году. [27]
Пейтон Джонс был назначен кавалером Ордена Британской Империи (ОБЕ) в честь Дня Рождения 2022 года за заслуги в области образования и информатики. [28] [5] Он также стал почетным научным сотрудником Пембрук-колледжа в Кембридже. [29] Кембриджского университета и заслуженный почетный член компьютерной лаборатории . [30]
Ссылки [ править ]
- ^ Перейти обратно: а б «Профессор Саймон Л. Пейтон-Джонс - лауреат премии» . Награды.acm.org . Ассоциация вычислительной техники.
- ^ Перейти обратно: а б Публикации Саймона Пейтона Джонса, проиндексированные Google Scholar
- ^ Перейти обратно: а б «Компьютер в школе: О нас» . Computingatschool.org.uk .
- ^ Перейти обратно: а б Анон (2016). «Профессор Саймон Пейтон Джонс, ФРС» . Лондон: Королевское общество . Архивировано из оригинала 29 апреля 2016 года. Одно или несколько предыдущих предложений включают текст с веб-сайта royalsociety.org, где:
«Весь текст, опубликованный под заголовком «Биография» на страницах профиля стипендиата, доступен по международной лицензии Creative Commons Attribution 4.0 ». -- «Правила, условия и политика Королевского общества» . Архивировано из оригинала 25 сентября 2015 года . Проверено 9 марта 2016 г.
- ^ Перейти обратно: а б БКС (2022). «Ученый-компьютерщик и педагог, профессор Саймон Пейтон Джонс получит OBE» . BCS, Сертифицированный институт информационных технологий .
- ^ Саймон Пейтон Джонс на DBLP библиографическом сервере
- ^ «Саймон Пейтон Джонс» . archivesit.org.uk . Проверено 10 декабря 2022 г.
- ^ Сейбел, Питер (2009). Программисты за работой: размышления о ремесле программирования . Апресс. ISBN 978-1-4302-1948-4 . Проверено 10 декабря 2022 г.
- ^ Ян, Джин. «Интервью с Саймоном Пейтоном-Джонсом» . Люди языков программирования . Проверено 10 декабря 2022 г.
- ^ Перейти обратно: а б Пейтон Джонс, Саймон . «Саймон Пейтон-Джонс — Microsoft Research» . Исследования Майкрософт. Архивировано из оригинала 24 мая 2016 года . Проверено 6 апреля 2011 г.
- ^ Бресник, Джули (3 июля 2001 г.). «Разработчик GHC Саймон Пейтон Джонс о работе, ох!, Microsoft» . Linux.com . Архивировано из оригинала 9 января 2020 года.
- ^ Пейтон Джонс, Саймон (18 января 2008 г.). «Древний, но до сих пор веселый» . [email protected].
- ^ «Эпическое будущее SPJ» . discourse.haskell.org . 5 ноября 2021 г.
- ^ Peyton Jones, Simon, ed. (December 2002). "Haskell 98 Language and Libraries - The Revised Report". haskell.org.
- ^ «Команда GHC» . 22 июня 2006 г.
- ^ «Генератор собственного кода (NCG)» . Компилятор Haskell Глазго . Хаскелл.орг. 17 сентября 2007 года . Проверено 4 апреля 2019 г. .
- ^ Пейтон Джонс, Саймон (1987). Реализация языков функционального программирования . Прентис-Холл. ISBN 0-13-453333-Х .
- ^ Пейтон Джонс, Саймон; Лестер, Дэвид Р. (август 1992 г.). Реализация функциональных языков . Прентис-Холл. ISBN 0-13-721952-0 .
- ^ Кибернавты просыпаются!: Этические и духовные последствия использования компьютеров, информационных технологий и Интернета . Издательство «Церковный дом». 1999. ISBN 978-0-7151-6586-7 .
- ^ «Ведущий ученый-компьютерщик выбран руководителем Национального центра компьютерного образования» . Министерство образования Великобритании . Проверено 20 марта 2019 г.
- ^ «Инновации в цифрах (и за их пределами): история исследовательского сотрудничества в Excel» . Майкрософт . 13 апреля 2021 г.
- ^ «Продвижение Excel как языка программирования с Энди Гордоном и Саймоном Пейтоном Джонсом» . microsoft.com . Майкрософт. 5 мая 2021 г.
- ^ «Саймон Пейтон Джонс в Европейской академии» . ae-info.org .
- ^ «Награда за программное обеспечение для языков программирования SIGPLAN» . Galois, Inc., 7 июня 2011 г. Архивировано из оригинала 10 июня 2011 г.
- ^ «Почетная докторская степень Саймона Пейтона Джонса» . Университет Глазго . Проверено 20 июля 2014 г.
- ^ «Профессор Саймон Пейтон Джонс, магистр искусств, FACM, FBCS, CEng» . Кентский университет . Проверено 14 февраля 2019 г.
- ^ «Список заслуженных сотрудников БКС» . Британское компьютерное общество . 2023.
- ^ «№63714» . Лондонская газета (Приложение). 1 июня 2022 г. с. Б14.
- ^ «Саймон Пейтон Джонс, ФРС» . Пембрук-колледж в Кембридже . Январь 2022.
- ^ «Выдающиеся почетные члены» . Кембриджская компьютерная лаборатория . 2022.
на Хаскеле Программирование |
|---|
- 1958 рождений
- Живые люди
- Выпускники Тринити-колледжа Кембриджа
- Британские ученые-компьютерщики
- Преподаватели Университетского колледжа Лондона
- Академики Университета Глазго
- Функциональное программирование
- Исследователи языков программирования
- Сотрудники Microsoft
- Члены Европейской академии
- 2004 г. Члены Ассоциации вычислительной техники.
- Члены Королевского общества
- Члены Британского компьютерного общества
- Стипендиаты Пембрук-колледжа, Кембридж
- Офицеры Ордена Британской Империи