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

В 1976—1977 годах Мэттью Хеннесси работал доцентом в Университете Уотерлу в Канаде^[2]. В 1977—1978 годах был приглашённым профессором в Федеральный университет Пернамбуку в Бразилии. Затем работал научным сотрудником (1979—1981) и преподавателем (1981—1985) в Эдинбургском университете в Шотландии. В 1985 году был приглашённым преподавателем и исследователем в Орхусском университете в Дании.

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

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

Хеннесси является членом Европейской академии^[2]. В 2005—2006 годах он был старшим научным сотрудником Королевского общества и Leverhulme Trust, а также занимает должность профессора-исследователя Ирландского научного фонда в Тринити-колледже Дублина. В 2009 году был избран профессором-стипендиатом Тринити-колледжа^[5].