Tripti Joshi (Editor)

Michael Butler (computer scientist)

Updated on
Share on FacebookTweet on TwitterShare on LinkedInShare on Reddit
Covid-19
Nationality  Irish
Name  Michael Butler

Known for  B-Method
Doctoral advisor  Carroll Morgan
Residence  United Kingdom
Michael Butler (computer scientist) widgetsecssotonacukimagephpidperson18ampmax
Institutions  University of Southampton
Alma mater  Trinity College, Dublin Wolfson College, Oxford
Thesis  A CSP Approach To Action Systems (1992)
Role  Computer science researcher
Influenced by  Jean-Raymond Abrial, Ralph-Johan Back
Fields  Computer Science, Software engineering

Education  Trinity College, Dublin

Michael J. Butler is Professor of Computer Science at the University of Southampton, England.

Butler was originally from Ireland and received his bachelor's degree in Computer Science from Trinity College, Dublin in 1988. He then undertook an MSc and DPhil at the Programming Research Group in Oxford (1989 and 1992 respectively), working in the area of Communicating Sequential Processes (CSP). Subsequently he 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 leads the Dependable Systems & Software Engineering (DSSE) group at the 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 (model checking for B), U2B (UML and B), csp2B (CSP and B), and the RODIN toolset for Event-B.

References

Michael Butler (computer scientist) Wikipedia


Similar Topics
Symphony of Six Million
Alicia Blagg
Jim McKeever
Topics
 
B
i
Link
H2
L