stringtranslate.com

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

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

Образование

Пейтон Джонс окончил Кембриджский университет, получив степень бакалавра наук [5] по электротехнике в 1979 году. В это время он был студентом бакалавриата Тринити-колледжа в Кембридже , а затем в 1980 году получил Кембриджский диплом по компьютерным наукам . Он так и не получил докторскую степень. [6] [7]

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

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

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

Он также внес значительный вклад в книгу 1999 года «Кибернавты пробуждаются » [17] , в которой исследовались этические и духовные последствия Интернета.

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

Пейтон Джонс играл важную роль в разработке новых функций Microsoft Excel с 2003 года, когда он опубликовал статью о пользовательских функциях. [19] В 2021 году анонимные функции и выражения let стали доступны в версии Excel для Office 365 в качестве бета-функции. [20]

Почести и награды

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

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

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

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

В 2016 году он получил премию ACM SIGPLAN Programming Languages ​​Achievement Award .

Пейтон Джонс был назначен офицером Ордена Британской империи (OBE) в честь Дня рождения 2022 года за заслуги в образовании и компьютерных науках. [27] [28] Он также стал почетным научным сотрудником Пембрук-колледжа в Кембридже [29] и почетным научным сотрудником компьютерной лаборатории Кембриджского университета . [30]

Ссылки

  1. ^ ab "Профессор Саймон Л. Пейтон-Джонс - Лауреат премии". awards.acm.org . Ассоциация вычислительной техники.
  2. ^ ab Публикации Саймона Пейтона Джонса, проиндексированные Google Scholar
  3. ^ ab «Информатика в школе: О нас». computingatschool.org.uk .
  4. ^ Саймон Пейтон Джонс на сервере библиографии DBLP
  5. ^ "Саймон Пейтон Джонс". archivesit.org.uk . Получено 10 декабря 2022 г. .
  6. ^ Seibel, Peter (2009). Кодеры на работе: размышления о ремесле программирования. Apress. ISBN 978-1-4302-1948-4. Получено 10 декабря 2022 г. .
  7. ^ Янг, Джин. «Интервью с Саймоном Пейтоном-Джонсом». People of Programming Languages . Получено 10 декабря 2022 г.
  8. ^ ab Peyton Jones, Simon. "Simon Peyton-Jones - Microsoft Research". Microsoft Research. Архивировано из оригинала 24 мая 2016 года . Получено 6 апреля 2011 года .
  9. ^ Бресник, Джули (3 июля 2001 г.). «Разработчик GHC Саймон Пейтон Джонс о работе в, о боже!, Microsoft». linux.com . Архивировано из оригинала 9 января 2020 г.
  10. ^ Пейтон Джонс, Саймон (18 января 2008 г.). «Древний, но все еще веселый». [email protected].
  11. ^ «Эпическое будущее для SPJ». discourse.haskell.org . 5 ноября 2021 г.
  12. ^ Пейтон Джонс, Саймон, ред. (декабрь 2002 г.). «Язык и библиотеки Haskell 98 — пересмотренный отчет». haskell.org.
  13. ^ "Команда GHC". 22 июня 2006 г.
  14. ^ "Native Code Generator (NCG)". The Glasgow Haskell Compiler . Haskell.org. 17 сентября 2007 г. Получено 4 апреля 2019 г.
  15. ^ Пейтон Джонс, Саймон (1987). Реализация функциональных языков программирования . Prentice-Hall. ISBN 0-13-453333-X.
  16. ^ Пейтон Джонс, Саймон; Лестер, Дэвид Р. (август 1992). Реализация функциональных языков . Prentice-Hall. ISBN 0-13-721952-0.
  17. ^ Кибернавты, пробуждайтесь!: Этические и духовные последствия компьютеров, информационных технологий и Интернета . Church House Publishing. 1999. ISBN 978-0-7151-6586-7.
  18. ^ "Ведущий ученый в области вычислительной техники выбран для руководства Национальным центром компьютерного образования". Министерство образования Великобритании . Получено 20 марта 2019 г.
  19. ^ «Инновации посредством чисел (и не только): история исследовательских совместных проектов в Excel». Microsoft . 13 апреля 2021 г.
  20. ^ «Развитие Excel как языка программирования с Энди Гордоном и Саймоном Пейтоном Джонсом». microsoft.com . Microsoft. 5 мая 2021 г.
  21. ^ «Саймон Пейтон Джонс в Academia Europaea». ae-info.org .
  22. ^ "SIGPLAN Programming Languages ​​Software Award". Galois, Inc. 7 июня 2011 г. Архивировано из оригинала 10 июня 2011 г.
  23. ^ "Почетная докторская степень для Саймона Пейтона Джонса". Университет Глазго . Получено 20 июля 2014 г.
  24. ^ "Профессор Саймон Пейтон Джонс, MA, FACM, FBCS, CEng". Университет Кента . Получено 14 февраля 2019 г.
  25. ↑ Anon (2016). "Профессор Саймон Пейтон Джонс FRS". Лондон: Королевское общество . Архивировано из оригинала 29 апреля 2016 года.Одно или несколько из предыдущих предложений включают текст с сайта royalsociety.org, где:

    «Весь текст, опубликованный под заголовком «Биография» на страницах профиля члена, доступен по лицензии Creative Commons Attribution 4.0 International ». — «Условия, положения и политика Королевского общества». Архивировано из оригинала 25 сентября 2015 г. Получено 9 марта 2016 г.

  26. ^ «Список выдающихся членов Британского компьютерного общества». Британское компьютерное общество . 2023.
  27. ^ "№ 63714". The London Gazette (Приложение). 1 июня 2022 г. стр. B14.
  28. ^ BCS (2022). «Ученый-компьютерщик и педагог, профессор Саймон Пейтон Джонс получит орден Британской империи». BCS, Институт дипломированных ИТ .
  29. ^ "Саймон Пейтон Джонс FRS". Пембрук-колледж, Кембридж . Январь 2022 г.
  30. ^ «Выдающиеся почетные члены». Кембриджская компьютерная лаборатория . 2022.