Michael Butler (científico informático)

Michael J. Butler es un científico informático irlandés. Desde 2022, es profesor de informática y decano de la Facultad de Ingeniería y Ciencias Físicas de la Universidad de Southampton , Inglaterra.

Butler nació en Irlanda. Se licenció en informática por el Trinity College de Dublín en 1988. Posteriormente, obtuvo un máster (1989) y un doctorado (1992) en el Grupo de Investigación en Programación de la Universidad de Oxford , ^{[ 1 ]} trabajando en el área de procesos secuenciales comunicantes . Luego trabajó para Broadcom en Dublín y en la Universidad Åbo Akademi de Turku , Finlandia, con Ralph-Johan Back en cálculo de refinamiento . Se incorporó a la Universidad de Southampton en 1995 como profesor, ascendiendo a catedrático en 2000 y a profesor titular ese mismo año. Dirigió el grupo de Ingeniería de Software y Sistemas Confiables en la Facultad de Electrónica e Informática de la Universidad de Southampton (inactivo desde 2022). ^{[ 2 ]}

Su principal línea de investigación se centra en el método B (creado por J.-R. Abrial), especialmente en herramientas de soporte como ProB (verificación avanzada de modelos para B que permite la simulación de máquinas Event-B en la plataforma Rodin/Eclipse), U2B ( UML y B), csp2B (CSP y B) y el conjunto de herramientas RODIN ^{[ 3 ]} para Event-B . ^{[ 4 ] [ 5 ]}

• Página principal
• Página web oficial de la universidad
• Perfil de Google Académico