Michael Butler (computer scientist)

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

Butler was originally from Ireland and received his Bachelors 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, 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.^[3][4]

References

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. ^ Michael J. Butler bibliography in the DBLP database
4. ^ Michael J Butler — ACM author profile page, ACM.

External links

• Home page
• Official university web page

Persondata
Name	Butler, Michael
Alternative names
Short description	Computer scientist
Date of birth
Place of birth	Republic of Ireland
Date of death
Place of death

This biography article of a United Kingdom academic is a stub. You can help Wikipedia by expanding it.v · Categories: Living people British computer scientists Irish computer scientists Formal methods people Alumni of Trinity College, Dublin Alumni of Wolfson College, Oxford Members of Oxford University Computing Laboratory Academics of the University of Southampton Irish expatriates in the United Kingdom British academic biography stubs Wikimedia Foundation. 2010. Игры ⚽ Нужно сделать НИР? Arnaldo da Silva Lacie Heart Look at other dictionaries: Michael Butler — may refer to: Michael Butler (musician), musician and podcaster Michael Butler (producer) (born 1926), American theatrical producer Michael Butler (computer scientist), professor of computer science at the University of Southampton, UK Michael… …   Wikipedia Michael O. Rabin — Michael Oser Rabin Born September 1, 1931 (1931 09 01) (age 80) Breslau …   Wikipedia Computer surveillance — This article is about surreptitious monitoring of computer activity. For information on methods of preventing unauthorized access to computer data, see computer security. Computer surveillance is the act of performing surveillance of computer… …   Wikipedia List of computer scientists — Expand list|date=August 2008This is a list of well known computer scientists, people who do work in computer science, in particular researchers and authors.Some persons notable as programmers are included here because they work in research as… …   Wikipedia Mathematics and Physical Sciences — ▪ 2003 Introduction Mathematics       Mathematics in 2002 was marked by two discoveries in number theory. The first may have practical implications; the second satisfied a 150 year old curiosity.       Computer scientist Manindra Agrawal of the… …   Universalium MacArthur Fellows Program — For the award in the field of ecology, see Robert H. MacArthur Award. The MacArthur Fellows Program or MacArthur Fellowship (nicknamed the Genius Award) is an award given by the John D. and Catherine T. MacArthur Foundation each year to typically …   Wikipedia List of Columbia University people — This is a partially sorted list of notable persons who have had ties to Columbia University.Nobel laureatesAs of October 2006, 76 Nobel laureates are associated with Columbia University. 39 Nobel laureates are the alumni of Columbia University.… …   Wikipedia List of Stanford University people — This is a list of encyclopedic persons (students, alumni, faculty or academic affiliates) associated with Stanford University in the United States. University presidents #David Starr Jordan (1891 – 1913) #John Casper Branner (1913 – 1915) #Ray… …   Wikipedia List of Australian National University people — The Australian National University has had numerous notable alumni and faculty. Contents 1 Notable alumni 1.1 Politics and government 2 Notable past and present staff 3 Adm …   Wikipedia List of English people — This is a partial list of English people of note and of some notable individuals born in England, alphabetically within categories.Actors and actresses*Dame Julie Andrews (born 1935) *Naveen Andrews (born 1969) *Gabrielle Anwar (born 1970) *Rowan …   Wikipedia 18+ © Academic, 2000-2024 Contact us: Technical Support, Advertising Dictionaries export, created on PHP, Joomla, Drupal, WordPress, MODx. Mark and share Search through all dictionaries Translate… Search Internet Share the article and excerpts Direct link … Do a right-click on the link above and select “Copy Link”