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), 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.

Property Value
dbo:abstract
  • 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), 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. 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 (UML and B), csp2B (CSP and B), and the RODIN toolset for Event-B. (en)
dbo:almaMater
dbo:birthPlace
dbo:country
dbo:doctoralAdvisor
dbo:field
dbo:influencedBy
dbo:knownFor
dbo:nationality
dbo:residence
dbo:thumbnail
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 7334854 (xsd:integer)
dbo:wikiPageRevisionID
  • 687117907 (xsd:integer)
dbp:almaMater
dbp:birthPlace
dbp:doctoralAdvisor
dbp:fields
dbp:influences
dbp:knownFor
dbp:name
  • Michael Butler (en)
  • Butler, Michael J. (en)
dbp:nationality
dbp:placeOfBirth
dbp:residence
dbp:shortDescription
  • Computer scientist (en)
dc:description
  • Computer scientist (en)
  • Computer scientist
dct:subject
rdf:type
rdfs:comment
  • 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), 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. (en)
rdfs:label
  • Michael Butler (computer scientist) (en)
owl:sameAs
prov:wasDerivedFrom
foaf:depiction
foaf:givenName
  • Michael J. (en)
foaf:homepage
foaf:isPrimaryTopicOf
foaf:name
  • Michael Butler (en)
  • Butler, Michael J. (en)
  • Michael J. Butler (en)
foaf:surname
  • Butler (en)
is dbo:wikiPageDisambiguates of
is dbo:wikiPageRedirects of
is foaf:primaryTopic of