Michael Butler (počítačový vědec) - Michael Butler (computer scientist)

Michael Butler
Michael Butler
	Profesor Michael Butler na konferenci Britská počítačová společnost kanceláře v Londýn, 2015.
narozený	Irsko
Národnost	irština
Alma mater	Trinity College v Dublinu; Wolfson College, Oxford
Známý jako	B-metoda
	Vědecká kariéra
Pole	Počítačová věda, softwarové inženýrství, formální metody
Instituce	University of Southampton
Teze	Přístup CSP k akčním systémům (1992)
Doktorský poradce	Carroll Morgan
Vlivy	Jean-Raymond Abrial, Ralph-Johan Zpět
webová stránka	www.ecs.soton.ac.Spojené království/lidé/ mjb

Michael J. Butler je profesorem Počítačová věda na University of Southampton, Anglie.

Butler byl původně z Irsko a získal bakalářský titul z informatiky z Trinity College v Dublinu v roce 1988. Poté podnikl MSc a DPhil na Programovací výzkumná skupina v Oxford (1989, respektive 1992),^[1] pracující v oblasti Komunikace postupných procesů (CSP). Následně pracoval pro Broadcom v Dublin a v Åbo Akademi University v Turku, Finsko s Ralph-Johan Zpět na Zušlechťovací počet. Na University of Southampton nastoupil v roce 1995 jako lektor, od roku 2000 se stal Readerem a ve stejném roce profesorem.

Vede Spolehlivé systémy a softwarové inženýrství (DSSE) skupina na School of Electronics and Computer Science, University of Southampton.^[2] Jeho hlavní výzkum je v oblasti B-metoda (pochází od J.-R.Abriala), zejména podpora nástrojů, jako je ProB (pokročilá kontrola modelu pro B, která umožňuje nejmodernější simulaci strojů Event-B na platformě Rodin / Eclipse), U2B (UML a B), csp2B (CSP a B) a sada nástrojů RODIN^[3] pro Událost-B.^[4]^[5]

Reference

^ Michael J. Butler, Přístup CSP k akčním systémům DP práce, Wolfson College v Oxfordu, 1992.
^ Skupina spolehlivých systémů a softwarového inženýrství (DSSE), School of Electronics and Computer Science, University of Southampton.
^ „Událost B a Rodinova platforma“. Citováno 23. října 2015.
^ Michael J. Butler v DBLP Bibliografický server
^ Michael J. Butler stránka s profilem autora na ACM Digitální knihovna

externí odkazy

[1] Michael J. Butler, Přístup CSP k akčním systémům DP práce, Wolfson College v Oxfordu, 1992.

[2] Skupina spolehlivých systémů a softwarového inženýrství (DSSE), School of Electronics and Computer Science, University of Southampton.

[3] „Událost B a Rodinova platforma“. Citováno 23. října 2015.

[DBLP-4] Michael J. Butler v DBLP Bibliografický server

[ACM-DL-5] Michael J. Butler stránka s profilem autora na ACM Digitální knihovna

[1]

[2]

[3]

[4]

[5]