Michael Butler (datavetare)

Michael Butler
Michael Butler talar vid British Computer Society i London, 2015
Född	Irland
Nationalitet	irländska
Alma mater	Trinity College, Dublin Wolfson College , Oxford
Känd för	B-metod
Vetenskaplig karriär
Fält	Datavetenskap , mjukvaruteknik , formella metoder
institutioner	University of Southampton
Avhandling	A CSP Approach To Action Systems (1992)
Doktorand rådgivare	Carroll Morgan
Influenser	Jean-Raymond Abrial , Ralph-Johan Back
Hemsida	www .ecs .soton .ac .uk /people /mjb

Michael J. Butler är en irländsk datavetare. Från och med 2022 är han professor i datavetenskap och dekanus för fakulteten för teknik och fysikaliska vetenskaper vid University of Southampton, England.

Biografi

Butler föddes i Irland . Han tog sin kandidatexamen i datavetenskap från Trinity College, Dublin 1988. Han tog sedan en MSc (1989) och DPhil (1992) vid Programming Research Group vid University of Oxford , och arbetade inom området för att kommunicera sekventiella processer . Han arbetade sedan för Broadcom i Dublin och vid Åbo Akademi i Åbo , Finland med Ralph-Johan Back på förfiningskalkyl . Han började på University of Southampton 1995 som föreläsare, och blev läsare 2000 och sedan professor samma år. Han ledde gruppen Dependable Systems & Software Engineering vid School of Electronics and Computer Science, University of Southampton (inaktiv från och med 2022).

Hans huvudsakliga forskning är inom området B-metoden (ursprunget av J.-R. Abrial), särskilt verktygsstöd såsom ProB (avancerad modellkontroll för B som möjliggör simulering av Event-B-maskiner i Rodin/Eclipse plattform), U2B ( UML och B), csp2B (CSP och B) och RODIN-verktygsuppsättningen för Event-B .

externa länkar

• Hemsida
• Universitetets officiella webbsida
• Google Scholar-profil