Jump to content

Michael Butler (computer scientist): Difference between revisions

From Wikipedia, the free encyclopedia
Content deleted Content added
No edit summary
PrimeBOT (talk | contribs)
m Task 30: parameter removal following discussion
 
(10 intermediate revisions by 6 users not shown)
Line 1: Line 1:
{{Short description|Irish computer scientist}}
{{EngvarB|date=April 2018}}
{{EngvarB|date=April 2018}}
{{Use dmy dates|date=April 2018}}
{{Use dmy dates|date=April 2018}}
{{Infobox scientist
{{Infobox scientist
| name = Michael Butler
| name = Michael Butler
| image = Michael Butler (computer scientist).jpg
| image = Michael Butler (computer scientist).jpg
| image_size = 220px
| image_size = 220px
| alt =
| alt =
| caption = Prof. Michael Butler speaking at the [[British Computer Society]] offices in [[London]], 2015.
| caption = Michael Butler speaking at the [[British Computer Society]] in London, 2015
| birth_date = <!-- {{Birth date|df=yes|YYYY|MM|DD}} -->
| birth_date = <!-- {{Birth date|df=yes|YYYY|MM|DD}} -->
| birth_place = [[Ireland]]
| birth_place = [[Ireland]]
| death_date = <!-- {{Death date and age|df=yes|YYYY|MM|DD|YYYY|MM|DD}} (death date then birth date) -->
| death_date = <!-- {{Death date and age|df=yes|YYYY|MM|DD|YYYY|MM|DD}} (death date then birth date) -->
| death_place =
| death_place =
| resting_place =
| resting_place =
| resting_place_coordinates = <!-- {{Coord|LAT|LONG|type:landmark|display=inline,title}} -->
| resting_place_coordinates = <!-- {{Coord|LAT|LONG|type:landmark|display=inline,title}} -->
| residence = [[United Kingdom]]
| citizenship =
| nationality = [[Republic of Ireland|Irish]]
| citizenship =
| fields = [[Computer science]], [[software engineering]], [[formal methods]]
| nationality = [[Republic of Ireland|Irish]]
| fields = [[Computer science]], [[software engineering]], [[formal methods]]
| workplaces = [[University of Southampton]]
| workplaces = [[University of Southampton]]
| alma_mater = [[Trinity College, Dublin]]<br/>[[Wolfson College, Oxford|Wolfson College]], [[University of Oxford|Oxford]]
| thesis_title = A CSP Approach To Action Systems
| alma_mater = [[Trinity College, Dublin]]<br/>[[Wolfson College, Oxford|Wolfson College]], [[University of Oxford|Oxford]]
| thesis_url = http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.32.3610
| thesis_title = A CSP Approach To Action Systems
| thesis_year = 1992
| thesis_url = http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.32.3610
| doctoral_advisor = [[Carroll Morgan (computer scientist)|Carroll Morgan]]
| thesis_year = 1992
| academic_advisors =
| doctoral_advisor = [[Carroll Morgan (computer scientist)|Carroll Morgan]]
| doctoral_students =
| academic_advisors =
| notable_students =
| doctoral_students =
| known_for = [[B-Method]]
| notable_students =
| known_for = [[B-Method]]
| author_abbrev_bot =
| author_abbrev_zoo =
| author_abbrev_bot =
| awards =
| author_abbrev_zoo =
| signature = <!--(filename only)-->
| influences = [[Jean-Raymond Abrial]], [[Ralph-Johan Back]]
| influenced =
| signature_alt =
| awards =
| website = {{URL|www.ecs.soton.ac.uk/people/mjb}}
| signature = <!--(filename only)-->
| footnotes =
| signature_alt =
| spouse =
| website = {{URL|www.ecs.soton.ac.uk/people/mjb}}
| footnotes =
| spouse =
}}
}}


'''Michael J. Butler''' is Professor of [[Computer Science]] at the [[University of Southampton]], [[England]].
'''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 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 born in [[Republic of Ireland|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]],<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]]. 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).<ref>[http://www.dsse.ecs.soton.ac.uk/ Dependable Systems & Software Engineering (DSSE) Group], School of Electronics and Computer Science, University of Southampton.</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 (A very useful piece of software)), 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>
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 ([[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==
Line 51: Line 50:
* [http://www.ecs.soton.ac.uk/~mjb/ Home page]
* [http://www.ecs.soton.ac.uk/~mjb/ Home page]
* [http://www.ecs.soton.ac.uk/people/mjb Official university web 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}}
{{Authority control}}

Latest revision as of 22:03, 12 October 2023

Michael Butler
Michael Butler speaking at the British Computer Society in London, 2015
Born
NationalityIrish
Alma materTrinity College, Dublin
Wolfson College, Oxford
Known forB-Method
Scientific career
FieldsComputer science, software engineering, formal methods
InstitutionsUniversity of Southampton
ThesisA CSP Approach To Action Systems (1992)
Doctoral advisorCarroll Morgan
Websitewww.ecs.soton.ac.uk/people/mjb

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

[edit]

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,[1] 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).[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 the 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

[edit]
  1. ^ Michael J. Butler, A CSP Approach To Action Systems, DPhil thesis, Wolfson College, Oxford, 1992.
  2. ^ Dependable Systems & Software Engineering (DSSE) Group, School of Electronics and Computer Science, University of Southampton.
  3. ^ "Event-B and the Rodin Platform". Retrieved 23 October 2015.
  4. ^ Michael J. Butler at DBLP Bibliography Server Edit this at Wikidata
  5. ^ Michael J. Butler author profile page at the ACM Digital Library Edit this at Wikidata
[edit]