Michael Butler (computer scientist): Difference between revisions
m Dating maintenance tags: {{EngvarB}} |
Clarified what ProB is |
||
Line 43: | Line 43: | ||
Butler was originally from [[Republic of Ireland|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 [[University of Oxford|Oxford]] (1989 and 1992 respectively),<ref>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.</ref> 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. |
Butler was originally from [[Republic of Ireland|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 [[University of Oxford|Oxford]] (1989 and 1992 respectively),<ref>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.</ref> 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]].<ref>[http://www.dsse.ecs.soton.ac.uk/ Dependable Systems & Software Engineering (DSSE) Group], School of Electronics and Computer Science, University of Southampton.</ref> 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 ([[Unified Modeling Language|UML]] and B), csp2B (CSP and B), and the RODIN toolset<ref>{{cite web| url=http://www.event-b.org/ | title=Event-B and the Rodin Platform | accessdate=23 October 2015 }}</ref> for [[Event-B]].<ref name="DBLP">{{DBLP |name=Michael J. Butler}}</ref><ref name="ACM-DL">{{ACM Portal |name=Michael J. Butler}}</ref> |
He leads the ''Dependable Systems & Software Engineering'' (DSSE) group at the [[School of Electronics and Computer Science, University of Southampton]].<ref>[http://www.dsse.ecs.soton.ac.uk/ Dependable Systems & Software Engineering (DSSE) Group], School of Electronics and Computer Science, University of Southampton.</ref> 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 state-of-the-art simulation of Event-B machines in the Rodin/Eclipse platform), U2B ([[Unified Modeling Language|UML]] and B), csp2B (CSP and B), and the RODIN toolset<ref>{{cite web| url=http://www.event-b.org/ | title=Event-B and the Rodin Platform | accessdate=23 October 2015 }}</ref> for [[Event-B]].<ref name="DBLP">{{DBLP |name=Michael J. Butler}}</ref><ref name="ACM-DL">{{ACM Portal |name=Michael J. Butler}}</ref> |
||
==References== |
==References== |
Revision as of 22:45, 15 May 2018
Michael Butler | |
---|---|
Born | |
Nationality | Irish |
Alma mater | Trinity College, Dublin Wolfson College, Oxford |
Known for | B-Method |
Scientific career | |
Fields | Computer science, software engineering, formal methods |
Institutions | University of Southampton |
Thesis | A CSP Approach To Action Systems (1992) |
Doctoral advisor | Carroll Morgan |
Website | www |
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),[1] 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.[2] 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 state-of-the-art simulation of Event-B machines in the Rodin/Eclipse platform), U2B (UML and B), csp2B (CSP and B), and the RODIN toolset[3] for Event-B.[4][5]
References
- ^ Michael J. Butler, A CSP Approach To Action Systems, DPhil thesis, Wolfson College, Oxford, 1992.
- ^ Dependable Systems & Software Engineering (DSSE) Group, School of Electronics and Computer Science, University of Southampton.
- ^ "Event-B and the Rodin Platform". Retrieved 23 October 2015.
- ^ Michael J. Butler at DBLP Bibliography Server
- ^ Michael J. Butler author profile page at the ACM Digital Library
External links
- Living people
- British computer scientists
- Irish computer scientists
- Formal methods people
- Alumni of Trinity College, Dublin
- Alumni of Wolfson College, Oxford
- Members of the Department of Computer Science, University of Oxford
- Academics of the University of Southampton
- Irish expatriates in the United Kingdom