Michael J. Butler is an Irish computer scientist. As of 2022, he is professor of

computer science Computer science is the study of computation, automation, and information. Computer science spans theoretical disciplines (such as algorithms, theory of computation, information theory, and automation) to Applied science, practical discipli ...

and Dean of the Faculty of Engineering and Physical Sciences at the

University of Southampton , mottoeng = The Heights Yield to Endeavour , type = Public research university , established = 1862 – Hartley Institution1902 – Hartley University College1913 – Southampton University Coll ...

, England.

Biography

Butler was born in

Ireland Ireland ( ; ga, Éire ; Ulster Scots dialect, Ulster-Scots: ) is an island in the Atlantic Ocean, North Atlantic Ocean, in Northwestern Europe, north-western Europe. It is separated from Great Britain to its east by the North Channel (Grea ...

. He received his bachelor's degree in computer science from

Trinity College, Dublin , name_Latin = Collegium Sanctae et Individuae Trinitatis Reginae Elizabethae juxta Dublin , motto = ''Perpetuis futuris temporibus duraturam'' (Latin) , motto_lang = la , motto_English = It will last i ...

in 1988. He then took an

MSc MSC may refer to: Computers * Message Sequence Chart * Microelectronics Support Centre of UK Rutherford Appleton Laboratory * MIDI Show Control * MSC Malaysia (formerly known as Multimedia Super Corridor) * USB mass storage device class (USB MSC ...

(1989) and

DPhil A Doctor of Philosophy (PhD, Ph.D., or DPhil; Latin: or ') is the most common degree at the highest academic level awarded following a course of study. PhDs are awarded for programs across the whole breadth of academic fields. Because it is a ...

(1992) at the

Programming Research Group The Programming Research Group (PRG) was part of the Oxford University Computing Laboratory (OUCL) in Oxford, England, along with the Numerical Analysis Group, until OUCL became the Department of Computer Science, University of Oxford, Department ...

of the

University of Oxford , mottoeng = The Lord is my light , established = , endowment = £6.1 billion (including colleges) (2019) , budget = £2.145 billion (2019–20) , chancellor ...

, working in the area of communicating sequential processes. He then worked for Broadcom in

Dublin Dublin (; , or ) is the capital and largest city of Republic of Ireland, Ireland. On a bay at the mouth of the River Liffey, it is in the Provinces of Ireland, province of Leinster, bordered on the south by the Dublin Mountains, a part of th ...

and at

Åbo Akademi University Åbo Akademi University ( sv, Åbo Akademi , ) is the only exclusively Swedish language multi-faculty university in Finland (or anywhere outside Sweden). It is located mainly in Turku (Åbo is the Swedish name of the city) but has also activiti ...

Turku Turku ( ; ; sv, Åbo, ) is a city and former capital on the southwest coast of Finland at the mouth of the Aura River, in the region of Finland Proper (''Varsinais-Suomi'') and the former Turku and Pori Province (''Turun ja Porin lääni''; ...

, Finland with

Ralph-Johan Back Ralph-Johan Back is a Finnish computer scientist. Back originated the refinement calculus, an important approach to the formal development of programs using stepwise refinement, in his 1978 PhD thesis at the University of Helsinki, ''On the ...

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 Electronics and Computer Science, generally abbreviated "ECS", at the University of Southampton was founded in 1946 by Professor Erich Zepler. It offers 23 undergraduate courses (in computer science, Web Science, electronic engineering, electric ...

(inactive as of 2022). 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 for Event-B.

References

External links

Home page

Official university web page

Google Scholar profile
{{DEFAULTSORT:Butler, Michael Year of birth missing (living people) 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