Майкл Батлер (ученый-компьютерщик) - Michael Butler (computer scientist)

Майкл Батлер
Майкл Батлер (ученый-компьютерщик) .jpg
Проф. Майкл Батлер выступает на Британское компьютерное общество офисы в Лондон, 2015.
Родившийся
Ирландия
НациональностьИрландский
Альма-матерТринити-колледж, Дублин
Вольфсон Колледж, Оксфорд
ИзвестенB-метод
Научная карьера
ПоляИнформатика, программная инженерия, формальные методы
УчрежденияСаутгемптонский университет
ТезисПодход CSP к системам действий  (1992)
ДокторантКэрролл Морган
ВлиянияЖан-Раймон Абриаль, Ральф-Йохан Бэк
Интернет сайтwww.ecs.soton.ac.Великобритания/люди/ mjb

Майкл Дж. Батлер является профессором Информатика на Саутгемптонский университет, Англия.

Батлер был родом из Ирландия и получил степень бакалавра компьютерных наук в Тринити-колледж, Дублин в 1988 году. Затем он предпринял Магистр и DPhil на Группа исследования программирования в Оксфорд (1989 и 1992 соответственно),[1] работает в области Связь последовательных процессов (CSP). Впоследствии он работал на Broadcom в Дублин и в Университет Або Академи в Турку, Финляндия с Ральф-Йохан Бэк на Исчисление уточнения. Он присоединился к Саутгемптонскому университету в 1995 году в качестве лектора, в 2000 году поднялся до читателя, а затем профессора в том же году.

Он возглавляет Надежные системы и разработка программного обеспечения (DSSE) группа Школа электроники и компьютерных наук Саутгемптонского университета.[2] Его основные исследования находятся в области B-метод (созданный J.-R. Abrial), особенно поддержка инструментов, таких как ProB (расширенная проверка модели для B, которая позволяет проводить современное моделирование машин Event-B на платформе Rodin / Eclipse), U2B (UML и B), csp2B (CSP и B) и набор инструментов RODIN[3] за Событие-B.[4][5]

Рекомендации

  1. ^ Майкл Дж. Батлер, Подход CSP к системам действий, Докторская диссертация, Вольфсон Колледж, Оксфорд, 1992.
  2. ^ Группа надежных систем и программного обеспечения (DSSE), Школа электроники и компьютерных наук Саутгемптонского университета.
  3. ^ «Событие-Б и платформа Родена». Получено 23 октября 2015.
  4. ^ Майкл Дж. Батлер в DBLP Сервер библиографии Отредактируйте это в Викиданных
  5. ^ Майкл Дж. Батлер страница профиля автора на ACM Цифровая библиотека Отредактируйте это в Викиданных

внешняя ссылка