Michael Butler (computer scientist)
{{Short description|Irish computer scientist}}
{{EngvarB|date=April 2018}}
{{Use dmy dates|date=April 2018}}
{{Infobox scientist
| name = Michael Butler
| image = Michael Butler (computer scientist).jpg
| image_size = 220px
| alt =
| caption = Michael Butler speaking at the British Computer Society in London, 2015
| birth_date =
| birth_place = Ireland
| death_date =
| death_place =
| resting_place =
| resting_place_coordinates =
| citizenship =
| nationality = Irish
| fields = Computer science, software engineering, formal methods
| workplaces = University of Southampton
| alma_mater = Trinity College, Dublin
Wolfson College, Oxford
| thesis_title = A CSP Approach To Action Systems
| thesis_url = http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.32.3610
| thesis_year = 1992
| doctoral_advisor = Carroll Morgan
| academic_advisors =
| doctoral_students =
| notable_students =
| known_for = B-Method
| author_abbrev_bot =
| author_abbrev_zoo =
| awards =
| signature =
| signature_alt =
| website = {{URL|www.ecs.soton.ac.uk/people/mjb}}
| footnotes =
| spouse =
}}
Michael J. Butler is an Irish computer scientist. As of 2022, he is professor of computer science and Dean of the Faculty of Engineering and Physical Sciences at the University of Southampton, England.
Biography
Butler was born in Ireland. He received his bachelor's degree in computer science from Trinity College, Dublin in 1988. He then took an MSc (1989) and DPhil (1992) at the Programming Research Group of the University of Oxford,Michael J. Butler, [http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.32.3610 A CSP Approach To Action Systems], DPhil thesis, Wolfson College, Oxford, 1992. working in the area of communicating sequential processes. He then worked for Broadcom in Dublin and at Åbo Akademi University in Turku, Finland with Ralph-Johan Back on refinement calculus. He joined the University of Southampton in 1995 as a lecturer, rising to reader in 2000 and then professor in the same year. He led the Dependable Systems & Software Engineering group at the School of Electronics and Computer Science, University of Southampton (inactive as of 2022).[http://www.dsse.ecs.soton.ac.uk/ Dependable Systems & Software Engineering (DSSE) Group], School of Electronics and Computer Science, University of Southampton.
His main research is in the area of the B-Method (originated by J.-R. Abrial), especially tool support such as ProB (advanced model checking for B which allows for the simulation of Event-B machines in the Rodin/Eclipse platform), U2B (UML and B), csp2B (CSP and B), and the RODIN toolset{{cite web| url=http://www.event-b.org/ | title=Event-B and the Rodin Platform | accessdate=23 October 2015 }} for Event-B.{{DBLP |name=Michael J. Butler}}{{ACM Portal |name=Michael J. Butler}}
References
{{Reflist}}
External links
- [http://www.ecs.soton.ac.uk/~mjb/ Home page]
- [http://www.ecs.soton.ac.uk/people/mjb Official university web page]
- [https://scholar.google.com/citations?hl=en&user=c0BzzQwAAAAJ Google Scholar profile]
{{Authority control}}
{{DEFAULTSORT:Butler, Michael}}
Category:Year of birth missing (living people)
Category:British computer scientists
Category:Irish computer scientists
Category:Formal methods people
Category:Alumni of Trinity College Dublin
Category:Alumni of Wolfson College, Oxford
Category:Members of the Department of Computer Science, University of Oxford