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

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

Майкл Дж. Батлер — ирландский ученый-компьютерщик. По состоянию на 2022 год он является профессором информатики и деканом факультета инженерных и физических наук Саутгемптонского университета , Англия.

Биография

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

Его основные исследования находятся в области B-метода (придуманного Ж.-Р. Абриалем), особенно поддержки таких инструментов, как ProB (расширенная проверка модели для B, которая позволяет моделировать машины Event-B в Rodin/Eclipse). платформа), U2B ( UML и B), csp2B (CSP и B) и набор инструментов RODIN. для события-B .

Внешние ссылки

• Домашняя страница
• Официальная веб-страница университета
• Профиль Академии Google