Мэтью Хеннесси

Ирландский учёный-компьютерщик

Мэтью Хеннесси — ирландский ученый-компьютерщик, внесший особый вклад в параллелизм , исчисление процессов и семантику языков программирования .

Карьера

В 1976–77 годах Мэтью Хеннесси был доцентом в Университете Ватерлоо в Канаде . ^[1] Затем в 1977–78 годах он был приглашенным профессором в Федеральном университете Пернамбуку в Бразилии . Впоследствии он был научным сотрудником (1979–81), а затем преподавателем (1981–85) в Эдинбургском университете в Шотландии . В 1985 году он был приглашенным лектором/исследователем в Университете Орхуса в Дании .

С 1985 по 2008 год Хеннесси был профессором компьютерных наук на кафедре информатики Университета Сассекса , Англия . ^[2] С тех пор Хеннесси занимает должность научного профессора на кафедре компьютерных наук Тринити-колледжа в Дублине .

Научные интересы Хеннесси лежат в области семантических основ программирования и спецификаций языков , особенно в области распределенных вычислений , включая мобильные вычисления . ^[3] Он также интересуется инструментами верификации . Его соавторами являются Робин Милнер и Гордон Плоткин .

Хеннесси является членом Академии Европы . ^[1] В 2005–2006 годах он занимал должность старшего научного сотрудника Королевского общества / Фонда Леверхалма, а также должность профессора-исследователя Научного фонда Ирландии в Тринити-колледже в Дублине.

Мэтью Хеннесси написал ряд книг:

Хеннесси, Мэтью. Распределенное исчисление числа Пи . Cambridge University Press , Кембридж, Великобритания, 2007. ISBN 0-521-87330-4 .
Хеннесси, Мэтью. Алгебраическая теория процессов . Издательство MIT , Кембридж, Массачусетс, 1988. ISBN 0-262-58093-4 . ^[4]
Хеннесси, Мэтью. Семантика языков программирования: элементарное введение с использованием структурной операционной семантики . John Wiley and Sons , Нью-Йорк, 1990. ISBN 0-471-92772-4 .

^ ab "Matthew Hennessy". Академия Европы . Получено 17 ноября 2014 г.
^ "Matthew Hennessy". Archive.org . Великобритания: Университет Сассекса . 3 декабря 2008 г. Архивировано из оригинала 3 декабря 2008 г. Получено 17 ноября 2014 г.
^ Мэтью Хеннесси на библиографическом сервере DBLP.
^ Гюнтер, Карл А. (март 1990 г.). «Обзорная работа: Алгебраическая теория процессов Мэтью Хеннесси». Журнал символической логики . 55 (1): 366– 368. doi :10.2307/2275000. JSTOR 2275000. S2CID 117105841.

Эта статья об ирландском ученом — заглушка . Вы можете помочь Википедии, дополнив ее.

Эта биографическая статья, касающаяся специалиста по компьютерам, является заглушкой . Вы можете помочь Википедии, расширив ее.