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