Мэтью Хеннесси - Википедия - Matthew Hennessy

Мэтью Хеннесси является Ирландский специалист в области информатики кто внес особый вклад в параллелизм, технологические расчеты и семантика языка программирования.

Карьера

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

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

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

Хеннесси является членом Академия Европы.^[1] Он провел Королевское общество /Leverhulme Trust Старший научный сотрудник в 2005–2006 гг.Научный фонд Ирландии Профессор-исследователь в Тринити-колледже Дублина.

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

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