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

Оглавление1 Мэтью Хеннесси1.1 Карьера Мэтью Хеннесси1.2 Научные интересы1.3 Соавторы и награды1.4 Опубликованные работы1.5 Дополнительная информация2 Мэтью Хеннесси — Википедия Мэтью […]

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

  • Карьера Мэтью Хеннесси

    • Ассистент профессора в Университете Ватерлоо (1976-77) 
    • Приглашенный профессор в Федеральном университете Пернамбуку (1977-78) 
    • Научный сотрудник и преподаватель в Эдинбургском университете (1979-85) 
    • Приглашенный лектор/исследователь в Орхусском университете (1985) 
    • Профессор компьютерных наук в Университете Сассекса (1985-2008) 
    • Профессор-исследователь в Тринити-колледже в Дублине (с 2008 года) 
  • Научные интересы

    • Семантические основы программирования и спецификаций 
    • Распределенные вычисления и мобильные вычисления 
    • Инструменты верификации 
  • Соавторы и награды

    • Соавтор с Робином Милнером и Гордоном Плоткиным 
    • Член Европейской академии 
    • Стипендиат Королевского общества/Фонда Леверхульма 
    • Профессор-исследователь Ирландского научного фонда 
  • Опубликованные работы

    • “Распределенное Пи-исчисление” (2007) 
    • “Алгебраическая теория процессов” (1988) 
    • “Семантика языков программирования: Элементарное введение” (1990) 
  • Дополнительная информация

    • Логика Хеннесси-Милнера 
    • Рекомендации и внешние ссылки 
    • Домашняя страница и публикации в Google Scholar 

Полный текст статьи:

Мэтью Хеннесси — Википедия

Оставьте комментарий

Прокрутить вверх