page_title: Michael Butler (computer scientist)
hierarchical_section_title: Michael Butler (computer scientist)
caption_attribution_description: English: Michael Butler, Professor of Computer Science at the University of Southampton, England, speaking at the British Computer Society offices in London, 2015.
context_page_description: 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, working in the area of Communicating Sequential Processes. 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 group at the School of Electronics and Computer Science, University of Southampton. His main research is in the area of the B-Method, especially tool support such as ProB, U2B, csp2B, and the RODIN toolset for Event-B.
context_section_description: 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 (advanced model checking for B which allows for state-of-the-art 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.
caption: Prof. Michael Butler speaking at the British Computer Society offices in London, 2015.
exif: {"Image ImageDescription": "", "Image Make": "Canon", "Image Model": "Canon PowerShot SX280 HS", "Image Orientation": "Horizontal (normal)", "Image XResolution": "180", "Image YResolution": "180", "Image ResolutionUnit": "Pixels/Inch", "Image DateTime": "2015:03:10 12:00:58", "Image YCbCrPositioning": "Co-sited", "Image ExifOffset": "246", "GPS GPSVersionID": "[2, 3, 0, 0]", "Image GPSInfo": "5074", "Thumbnail Compression": "JPEG (old-style)", "Thumbnail XResolution": "180", "Thumbnail YResolution": "180", "Thumbnail ResolutionUnit": "Pixels/Inch", "Thumbnail JPEGInterchangeFormat": "5620", "Thumbnail JPEGInterchangeFormatLength": "2768", "EXIF ExposureTime": "1/25", "EXIF FNumber": "5", "EXIF ISOSpeedRatings": "800", "EXIF SensitivityType": "Standard Output Sensitivity and Recommended Exposure Index", "EXIF ExifVersion": "0230", "EXIF DateTimeOriginal": "2015:03:10 12:00:58", "EXIF DateTimeDigitized": "2015:03:10 12:00:58", "EXIF ComponentsConfiguration": "YCbCr", "EXIF CompressedBitsPerPixel": "3", "EXIF ShutterSpeedValue": "149/32", "EXIF ApertureValue": "149/32", "EXIF ExposureBiasValue": "0", "EXIF MaxApertureValue": "149/32", "EXIF MeteringMode": "Pattern", "EXIF Flash": "Flash did not fire, compulsory flash mode", "EXIF FocalLength": "20087/1000", "EXIF FlashPixVersion": "0100", "EXIF ColorSpace": "sRGB", "EXIF ExifImageWidth": "2264", "EXIF ExifImageLength": "2722", "Interoperability InteroperabilityIndex": "R98", "Interoperability InteroperabilityVersion": "[48, 49, 48, 48]", "Interoperability RelatedImageWidth": "4000", "Interoperability RelatedImageLength": "3000", "EXIF InteroperabilityOffset": "4996", "EXIF FocalPlaneXResolution": "1000000/61", "EXIF FocalPlaneYResolution": "1000000/61", "EXIF FocalPlaneResolutionUnit": "2", "EXIF SensingMethod": "One-chip color area", "EXIF FileSource": "Digital Camera", "EXIF CustomRendered": "Normal", "EXIF ExposureMode": "Auto Exposure", "EXIF WhiteBalance": "Auto", "EXIF DigitalZoomRatio": "1", "EXIF SceneCaptureType": "Standard", "EXIF CameraOwnerName": ""}