Хеннесси, Мэттью
Хеннесси, Мэттью
Мэттью Хеннесси ([Нет даты!]) — ирландский учёный в области компьютерных наук. Известен вкладом в исследования параллельных вычислений, исчисления процессов и семантики языков программирования.
Биография[править]
В 1976—1977 годах Мэттью Хеннесси работал доцентом в Университете Уотерлу в Канаде[1]. В 1977—1978 годах был приглашённым профессором в Федеральный университет Пернамбуку в Бразилии. Затем работал научным сотрудником (1979—1981) и преподавателем (1981—1985) в Эдинбургском университете в Шотландии. В 1985 году был приглашённым преподавателем и исследователем в Орхусском университете в Дании.
С 1985 по 2008 год Хеннесси занимал должность профессора компьютерных наук на кафедре информатики Университета Сассекса в Англии[2]. С 2008 года является профессором-исследователем на кафедре компьютерных наук Тринити-колледжа в Дублине.
Научные интересы Хеннесси лежат в области семантических основ языков программирования и языков спецификаций, в частности, в сфере распределённых и мобильных вычислений[3]. Он также занимается инструментами верификации. Среди его соавторов — Робин Милнер и Гордон Плоткин.
Хеннесси является членом Европейской академии[1]. В 2005—2006 годах он был старшим научным сотрудником Королевского общества и Leverhulme Trust, а также занимает должность профессора-исследователя Ирландского научного фонда в Тринити-колледже Дублина. В 2009 году был избран профессором-стипендиатом Тринити-колледжа[4].
Примечания[править]
- ↑ 1,0 1,1 Matthew Hennessy. Европейская академия. Проверено 25 июня 2026.
- ↑ Matthew Hennessy. UK: Университет Сассекса (2008-12-03). Архивировано из первоисточника 3 декабря 2008.[недоступная ссылка] Проверено 17 ноября 2014.
- ↑ .
- ↑ Trinity Monday 2009 - Fellows and Scholars. Trinity College Dublin (2010-04-12). Архивировано из первоисточника 8 октября 2012.[недоступная ссылка] Проверено 29 декабря 2025.
Литература[править]
- Hennessy, Matthew. A Distributed Pi-Calculus. Cambridge University Press, Cambridge, UK, 2007. ISBN 0-521-87330-4.
- Hennessy, Matthew. Algebraic Theory of Processes. The MIT Press, Cambridge, Massachusetts, 1988. ISBN 0-262-58093-4.
- Hennessy, Matthew. The Semantics of Programming Languages: An Elementary Introduction using Structural Operational Semantics. John Wiley and Sons, New York, 1990. ISBN 0-471-92772-4.
Ссылки[править]
 | Одним из источников, использованных при создании данной статьи, является статья из википроекта «Рувики» («ruwiki.ru») под названием «Хеннесси, Мэттью», расположенная по адресу:
Материал указанной статьи полностью или частично использован в Циклопедии по лицензии CC-BY-SA 4.0 и более поздних версий. Всем участникам Рувики предлагается прочитать материал «Почему Циклопедия?». |
|---|