Оглавление
Мэтью Хеннесси
-
Карьера Мэтью Хеннесси
- Ассистент профессора в Университете Ватерлоо (1976-77)
- Приглашенный профессор в Федеральном университете Пернамбуку (1977-78)
- Научный сотрудник и преподаватель в Эдинбургском университете (1979-85)
- Приглашенный лектор/исследователь в Орхусском университете (1985)
- Профессор компьютерных наук в Университете Сассекса (1985-2008)
- Профессор-исследователь в Тринити-колледже в Дублине (с 2008 года)
-
Научные интересы
- Семантические основы программирования и спецификаций
- Распределенные вычисления и мобильные вычисления
- Инструменты верификации
-
Соавторы и награды
- Соавтор с Робином Милнером и Гордоном Плоткиным
- Член Европейской академии
- Стипендиат Королевского общества/Фонда Леверхульма
- Профессор-исследователь Ирландского научного фонда
-
Опубликованные работы
- “Распределенное Пи-исчисление” (2007)
- “Алгебраическая теория процессов” (1988)
- “Семантика языков программирования: Элементарное введение” (1990)
-
Дополнительная информация
- Логика Хеннесси-Милнера
- Рекомендации и внешние ссылки
- Домашняя страница и публикации в Google Scholar
Полный текст статьи: