Мэтью Хеннесси - ирландский ученый-компьютерщик , внесший особый вклад в параллелизм , вычисления процессов и семантику языков программирования .
Карьера
В 1976–77 годах Мэтью Хеннесси был доцентом Университета Ватерлоо в Канаде . [1] Затем в 1977–78 годах он был приглашенным профессором Федерального университета Пернамбуку в Бразилии . Впоследствии он был научным сотрудником (1979–81), а затем лектором (1981–85) в Эдинбургском университете в Шотландии . В 1985 году он был приглашенным лектором / исследователем в Орхусском университете в Дании .
Hennessy был профессором компьютерных наук на факультете информатики университета Сассекса , Англии , с 1985 до 2008 года [2] С тех пор, Hennessy провел научно - исследовательскую кафедру на факультете компьютерных наук , Тринити - колледж, Дублин .
Исследовательские интересы Хеннесси находятся в области семантических основ языков программирования и спецификаций , в частности, связанных с распределенными вычислениями , включая мобильные вычисления . [3] Он также интересуется инструментами проверки . Его соавторами являются Робин Милнер и Гордон Плоткин .
Хеннесси является членом Европейской академии . [1] В 2005–2006 гг. Он занимал стипендию для старших исследователей Королевского общества / Леверхульмского траста и занимал должность профессора научных исследований Ирландского научного фонда в Тринити-колледже в Дублине.
Книги
Мэтью Хеннесси написал ряд книг:
- Хеннесси, Мэтью. Распределенное пи-исчисление . Издательство Кембриджского университета , Кембридж, Великобритания, 2007. ISBN 0-521-87330-4 .
- Хеннесси, Мэтью. Алгебраическая теория процессов . MIT Press , Кембридж, Массачусетс, 1988. ISBN 0-262-58093-4 . [4]
- Хеннесси, Мэтью. Семантика языков программирования: элементарное введение с использованием структурной операционной семантики . Джон Вили и сыновья , Нью-Йорк, 1990 год. ISBN 0-471-92772-4 .
Смотрите также
Рекомендации
- ^ а б «Мэтью Хеннесси» . Академия Европы . Проверено 17 ноября 2014 года .
- ^ «Мэтью Хеннесси» . Archive.org . Великобритания: Университет Сассекса . 3 декабря 2008 года Архивировано из оригинала 3 декабря 2008 года . Проверено 17 ноября 2014 года .
- ^ Мэтью Хеннесси насервере библиографии DBLP.
- ^ Гюнтер, Карл А. (март 1990 г.). "Рецензируемая работа: алгебраическая теория процессов Мэтью Хеннесси". Журнал символической логики . 55 (1): 366–368. DOI : 10.2307 / 2275000 . JSTOR 2275000 .
Внешние ссылки
- Домашняя страница Тринити-колледжа Мэтью Хеннесси в Дублине
- Публикации Мэтью Хеннесси, проиндексированные Google Scholar