Саймон Пейтон Джонс - Simon Peyton Jones

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

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

Саймон Пейтон Джонс ФРС MAE[4] (родился 18 января 1958 г.) - британец специалист в области информатики кто исследует выполнение и Приложения из функциональные языки программирования, особенно ленивый функциональное программирование. [5][2]

Образование

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

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

Карьера и исследования

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

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

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

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

Награды и награды

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

В 2011 году он и Саймон Марлоу были награждены Награда за программное обеспечение SIGPLAN Programming Languages за их работу над GHC.[18]

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

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

Рекомендации

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

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

  5. ^ Саймон Л. Пейтон Джонс в DBLP Сервер библиографии Отредактируйте это в Викиданных
  6. ^ а б c Пейтон Джонс, Саймон. «Саймон Пейтон-Джонс - Microsoft Research». Microsoft Research. Получено 6 апреля 2011.
  7. ^ Питер Зибель (2009) Кодеры за работой: размышления о ремесле программирования ISBN  1430219483
  8. ^ Бресник, Джули (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 Programming Languages ​​Software Award». Galois, Inc., 7 июня 2011 г. Архивировано с оригинал 10 июня 2011 г.
  19. ^ "Почетный доктор Саймона Пейтона Джонса". Университет Глазго. Получено 20 июля 2014.
  20. ^ "Профессор Саймон Пейтон Джонс, MA, FACM, FBCS, CEng". Кентский университет. Получено 14 февраля 2019.