Из Википедии, свободной энциклопедии
Перейти к навигации Перейти к поиску

Саймон Пейтон ДжонсФРС МАЭ
Профессор Саймон Пейтон Джонс FRS.jpg
Саймон Пейтон Джонс на приеме в Королевское общество в Лондоне в 2016 году
Рожденный( 1958-01-18 )18 января 1958 г. (63 года)
Южная Африка
ГражданствоБританский
Альма-матерКембриджский университет
ИзвестенКомпилятор Glasgow Haskell , C--
Награды
Научная карьера
Поля
Учреждения
Веб-сайтисследование .microsoft .com / ~ simonpj

Пейтон-Джонс F МАЭ [4] (родился 18 января 1958) является британским ученой , который исследует реализацию и приложение из функциональных языков программирования , в частности , ленивого функционального программирование . [5] [2]

Образование [ править ]

Саймон Пейтон Джонс

Пейтон Джонс окончил Тринити-колледж в Кембридже в 1980 году [6] и получил кембриджский диплом по информатике . [7]

Карьера и исследования [ править ]

Пейтон Джонс работал в промышленности в течение двух лет перед подачей на стол в качестве лектора в Университетском колледже Лондона , а с 1990 по 1998 год, в качестве профессора в Университете Глазго . [6] С 1998 года он работал исследователем в Microsoft Research в Кембридже, Англия . [6] [8] [9]

Он является основным фактором при проектировании Haskell языка программирования, [10] и ведущий разработчик Glasgow Haskell Compiler (GHC). [11] Он также является соавтором языка программирования C-- , предназначенного для промежуточного представления программ между языковым интерфейсом компилятора и генератором внутреннего кода и оптимизатором общего назначения. C-- используется в GHC. [12] [13] [14]

Он также был главным вкладчиком в 1999 книге Cybernauts Пробудитесь , [15] , который исследовал этические и духовные последствия Интернета.

Пейтон Джонс возглавляет группу Computing At School (CAS) [3] , организацию, целью которой является продвижение преподавания информатики в школе. После этих усилий в 2019 году он был назначен председателем недавно созданного Национального центра компьютерного образования Великобритании . [16]

Награды и награды [ править ]

В 2004 году он был введен в качестве стипендиата от Ассоциации вычислительной техники для вкладов в функциональных языках программирования. [1] В 2011 году он получил членство в Academia Europaea . [17]

В 2011 году он и Саймон Марлоу были награждены премией SIGPLAN Programming Languages ​​Software Award за свою работу над GHC. [18]

Он получил почетную докторскую степень Университета Глазго в 2013 году [19] и почетную докторскую степень Кентского университета в 2017 году [20].

Он был избран членом Королевского общества (FRS) в 2016 году [4] и почетным членом Британского компьютерного общества (DFBCS) в 2017 году.

Ссылки [ править ]

  1. ^ a b «Профессор Саймон Л. Пейтон-Джонс - Лауреат премии» . Ассоциация вычислительной техники.
  2. ^ a b Публикации Саймона Пейтона Джонса, проиндексированные Google Scholar
  3. ^ a b Компьютеры в школе: О нас
  4. ^ а б Анон (2016). "Профессор Саймон Пейтон Джонс FRS" . Лондон: Королевское общество . Архивировано из оригинального 29 апреля 2016 года. Одно или несколько предыдущих предложений включают текст с веб-сайта royalsociety.org, где:

    «Весь текст, опубликованный под заголовком« Биография »на страницах профилей участников, доступен по международной лицензии Creative Commons Attribution 4.0 ». - «Положения, условия и политика Королевского общества» . Архивировано 25 сентября 2015 года . Проверено 9 марта +2016 .CS1 maint: bot: исходный статус URL неизвестен ( ссылка )

  5. ^ Саймон Л. Пейтон Джонс насервере библиографии DBLP
  6. ^ a b c Пейтон Джонс, Саймон . «Саймон Пейтон-Джонс - Microsoft Research» . Microsoft Research . Проверено 6 апреля 2011 года .
  7. ^ Питер Сибель (2009) Кодеры за работой: размышления о ремесле программирования ISBN 1430219483 
  8. ^ Bresnick, Жюли (3 июля 2001). «Разработчик GHC Саймон Пейтон Джонс о работе в, ах!», Microsoft » . Linux.com . Linux.com . Архивировано 9 января 2020 года.
  9. ↑ Пейтон Джонс, Саймон (18 января 2008 г.). «Древний, но все еще веселый» . haskel @ haskel, org.
  10. ^ Пейтон Джонс, Саймон, изд. (Декабрь 2002 г.). "Язык и библиотеки Haskell 98 - Пересмотренный отчет" . haskell.org.
  11. ^ "Команда GHC" . 22 июня 2006 г.
  12. ^ "Генератор собственного кода (NCG)" . Компилятор Glasgow Haskell . Haskell.org. 17 сентября 2007 . Проверено 4 апреля 2019 года .
  13. ^ Пейтон Джонс, Саймон (1987). Реализация языков функционального программирования . Прентис-Холл. ISBN 0-13-453333-X.
  14. ^ Пейтон Джонс, Саймон; Лестер, Дэвид Р. (август 1992 г.). Реализация функциональных языков . Прентис-Холл. ISBN 0-13-721952-0.
  15. ^ Кибернауты «Пробудитесь!»: Этические и духовные последствия компьютеров, информационных технологий и Интернета . Издательство церковного дома. 1999. ISBN 978-0-7151-6586-7.
  16. ^ «Ведущий ученый-компьютерщик избран руководителем Национального центра компьютерного образования» . Министерство образования Великобритании . Проверено 20 марта 2019 .
  17. ^ Список членов Academia Europaea
  18. ^ "Премия за программное обеспечение языков программирования SIGPLAN" . Галуа, Inc. 7 июня 2011. Архивировано из оригинального 10 июня 2011.
  19. ^ "Почетный доктор Саймона Пейтона Джонса" . Университет Глазго . Проверено 20 июля 2014 года .
  20. ^ "Профессор Саймон Пейтон Джонс, Массачусетс, FACM, FBCS, CEng" . Кентский университет . Проверено 14 февраля 2019 .