Саймон Томпсон (профессор)

Саймон Томпсон
Саймон Томпсон
Рожденный	Великобритания
Образование	Доктор Фил. , Оксфордский университет , 1984 г.
Известный	функционального программирования Исследования , ; Cardano Языки предметной области : Marlowe
	Научная карьера
Поля	Информатика
Учреждения	Кентский университет ; Ввод-вывод глобальный
Диссертация	Теории рекурсии непрерывных функционалов (1984)
Докторантура	Робин Оливер Ганди

Саймон Томпсон — учёный -исследователь , автор и почётный профессор Кентского университета , специализирующийся на логике и вычислениях. ^[1] Его исследования в области функционального программирования охватывают верификацию и валидацию программного обеспечения , создание инструментов программирования и тестирование программного обеспечения для языков функционального программирования Erlang . ^[2] Хаскелл , ^[3]^[4] и ОКамл . ^[5]^[6]^[7] Он является автором книг по типов данных теории , Miranda , Haskell и Erlang, а также ведет масштабный открытый онлайн-курс по Erlang для FutureLearn .

Образование

Томпсон получил степень доктора философии (D.Phil.) в Оксфордском университете в 1984 году, защитив диссертацию на тему «Теории рекурсии непрерывных функционалов ». ^[8] Руководителем докторской диссертации Томпсона был Робин Оливер Ганди . ^[9]

Работа

По состоянию на 2019 год ^[update], он работал в компаниях Input Output Global, Input Output Hong Kong. ^[10] на предметно-ориентированных языках для блокчейн-платформы Cardano . Там он разработал специализированный язык смарт-контрактов Marlowe , предназначенный для непрограммистов, работающих в финансовом секторе. ^[11]^[12]

Книги

Его книги включают:

Томпсон, Саймон (январь 1991 г. - март 1999 г.). Теория типов и функциональное программирование . Международная серия по информатике. Аддисон-Уэсли; Вычислительная лаборатория Кентского университета. ISBN 979-8482847145 .
Томпсон, Саймон (21 июля 1995 г.). Миранда: Мастерство функционального программирования . Международная серия по информатике. Аддисон-Уэсли. ISBN 978-0201422795 . ^[13]
Томпсон, Саймон (1996–2011). Haskell: Мастерство функционального программирования . Международная серия по информатике (3-е изд.). Аддисон-Уэсли, Издательство Кембриджского университета. ISBN 978-0201882957 . ^[14]
Чезарини, Франческо; Томпсон, Саймон (28 июля 2009 г.). Программирование на Erlang: параллельный подход к разработке программного обеспечения . О'Рейли Медиа. ISBN 978-0596518189 . Цитаты: Франческо Чезарини, основатель Erlang Solutions Ltd.

Ссылки

^ Томпсон, Саймон (20 октября 2023 г.). «Профессор Саймон Томпсон» . Кентский университет: Школа вычислительной техники . Кентербери, Кент, Англия.
^ Беречки, Петер; Хорпачи, Даниэль; Томпсон, Саймон (23 августа 2020 г.). Машинно-проверенная естественная семантика для ядра Erlang: исключения и побочные эффекты . Международная конференция по функциональному программированию (ICFP). Онлайн – через ACM SIGPLAN.
^ Томпсон, Саймон (май 1997 г.). Высший порядок + Полиморфный = Многоразовый (Отчет). Кентербери, Кент: Школа вычислительной техники Кентского университета . Проверено 30 декабря 2023 г.
^ Ли, Хуэйцин; Томпсон, Саймон; Рейнке, Клаус (апрель 2005 г.). «Рефакторер Haskell: HaRe и его API». В Бойленде, Джон Тан; Хедин, Гёрель (ред.). Материалы 5-го семинара по описаниям языков, инструментам и приложениям . Кентербери, Кент: Школа вычислительной техники Кентского университета . стр. 182–196 . Проверено 30 декабря 2023 г.
^ Роу, Рубен Н.С.; Томпсон, Саймон (8 сентября 2017 г.). ROTOR: Первые шаги на пути к инструменту рефакторинга для OCaml . Международная конференция по функциональному программированию (ICFP). Финикс, Аризона – через ACM SIGPLAN.
^ Роу, Рубен Н.С.; Фере, Гюго; Томпсон, Саймон; Оуэнс, Скотт (25 июня 2019 г.). Характеристика переименования в системе модулей OCaml: теория и реализация . Проектирование и реализация языков программирования (PLDI). Финикс, Аризона – через ACM SIGPLAN.
^ Харрисон, Джозеф; Варумас, Стивен; Томпсон, Саймон; Роу, Рубен (28 августа 2020 г.). Миграция API: сравнение преобразованных файлов . Международная конференция по функциональному программированию (ICFP). Онлайн – через ACM SIGPLAN.
^ Томпсон, Саймон (июнь 1985 г.). «Аксиоматическая теория рекурсии и непрерывные функционалы» . Журнал символической логики . 50 (2). Нью-Йорк, Нью-Йорк: 442–450. дои : 10.2307/2274232 . JSTOR 2274232 . S2CID 26299352 – через JSTOR.
^ «Проект математической генеалогии» . Государственный университет Северной Дакоты: математический факультет .
^ «IOHK: Команда: профессор Саймон Томпсон: директор технического проекта по исследованиям» . Ввод-вывод . nd Архивировано из оригинала 28 ноября 2022 года.
^ Ввод-вывод Гонконг (11 декабря 2018 г.). «Марлоу: финансовые контракты на блокчейне» . Ввод-вывод Гонконг .
^ Ламела Сейяс, Пабло; Немиш, Александр; Смит, Дэвид; Томпсон, Саймон (2020). «Марлоу: реализация и анализ финансовых контрактов на блокчейне». У Мэтью Бернхарда; Андреа Браччиали; Л. Джин Кэмп; Синъитиро Мацуо; Алана Маурушат; Питер Б. Рённе; Массимилиано Сала (ред.). Финансовая криптография и безопасность данных . Конспекты лекций по информатике. Том. 12063. Чам: Springer International Publishing. стр. 496–511. дои : 10.1007/978-3-030-54455-3_35 . ISBN 978-3-030-54455-3 .
^ «Миранда: нестрогий, полиморфный, функциональный язык» . 2010.
^ Ричардс, Гамильтон (ноябрь 1998 г.). «Рецензии на книги» (PDF) . Журнал функционального программирования . 8 (6): 633–637. дои : 10.1017/S0956796898213220 .

Внешние ссылки

Официальный сайт

[1] Томпсон, Саймон (20 октября 2023 г.). «Профессор Саймон Томпсон» . Кентский университет: Школа вычислительной техники . Кентербери, Кент, Англия.

[2] Беречки, Петер; Хорпачи, Даниэль; Томпсон, Саймон (23 августа 2020 г.). Машинно-проверенная естественная семантика для ядра Erlang: исключения и побочные эффекты . Международная конференция по функциональному программированию (ICFP). Онлайн – через ACM SIGPLAN.

[3] Томпсон, Саймон (май 1997 г.). Высший порядок + Полиморфный = Многоразовый (Отчет). Кентербери, Кент: Школа вычислительной техники Кентского университета . Проверено 30 декабря 2023 г.

[4] Ли, Хуэйцин; Томпсон, Саймон; Рейнке, Клаус (апрель 2005 г.). «Рефакторер Haskell: HaRe и его API». В Бойленде, Джон Тан; Хедин, Гёрель (ред.). Материалы 5-го семинара по описаниям языков, инструментам и приложениям . Кентербери, Кент: Школа вычислительной техники Кентского университета . стр. 182–196 . Проверено 30 декабря 2023 г.

[5] Роу, Рубен Н.С.; Томпсон, Саймон (8 сентября 2017 г.). ROTOR: Первые шаги на пути к инструменту рефакторинга для OCaml . Международная конференция по функциональному программированию (ICFP). Финикс, Аризона – через ACM SIGPLAN.

[6] Роу, Рубен Н.С.; Фере, Гюго; Томпсон, Саймон; Оуэнс, Скотт (25 июня 2019 г.). Характеристика переименования в системе модулей OCaml: теория и реализация . Проектирование и реализация языков программирования (PLDI). Финикс, Аризона – через ACM SIGPLAN.

[7] Харрисон, Джозеф; Варумас, Стивен; Томпсон, Саймон; Роу, Рубен (28 августа 2020 г.). Миграция API: сравнение преобразованных файлов . Международная конференция по функциональному программированию (ICFP). Онлайн – через ACM SIGPLAN.

[8] Томпсон, Саймон (июнь 1985 г.). «Аксиоматическая теория рекурсии и непрерывные функционалы» . Журнал символической логики . 50 (2). Нью-Йорк, Нью-Йорк: 442–450. дои : 10.2307/2274232 . JSTOR 2274232 . S2CID 26299352 – через JSTOR.

[9] «Проект математической генеалогии» . Государственный университет Северной Дакоты: математический факультет .

[10] «IOHK: Команда: профессор Саймон Томпсон: директор технического проекта по исследованиям» . Ввод-вывод . nd Архивировано из оригинала 28 ноября 2022 года.

[11] Ввод-вывод Гонконг (11 декабря 2018 г.). «Марлоу: финансовые контракты на блокчейне» . Ввод-вывод Гонконг .

[12] Ламела Сейяс, Пабло; Немиш, Александр; Смит, Дэвид; Томпсон, Саймон (2020). «Марлоу: реализация и анализ финансовых контрактов на блокчейне». У Мэтью Бернхарда; Андреа Браччиали; Л. Джин Кэмп; Синъитиро Мацуо; Алана Маурушат; Питер Б. Рённе; Массимилиано Сала (ред.). Финансовая криптография и безопасность данных . Конспекты лекций по информатике. Том. 12063. Чам: Springer International Publishing. стр. 496–511. дои : 10.1007/978-3-030-54455-3_35 . ISBN 978-3-030-54455-3 .

[13] «Миранда: нестрогий, полиморфный, функциональный язык» . 2010.

[14] Ричардс, Гамильтон (ноябрь 1998 г.). «Рецензии на книги» (PDF) . Журнал функционального программирования . 8 (6): 633–637. дои : 10.1017/S0956796898213220 .

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]