page_title: Michael J. C. Gordon
hierarchical_section_title: Michael J. C. Gordon
caption_attribution_description: English: Professor Michael J C Gordon. Português: Professor Michael John Caldwell Gordon
context_page_description: Michael John Caldwell "Mike" Gordon FRS was a British computer scientist. He was born in Ripon, Yorkshire.
  Gordon led the development of the HOL theorem prover. He was elected a Fellow of the Royal Society in 1994, and in 2008 a two-day research meeting on Tools and Techniques for Verification of System Infrastructure was held there in honour of his 60th birthday.
  Gordon died in Cambridge, Cambridgeshire from pancreatic cancer on 22 August 2017 at the age of 69.
context_section_description: Michael John Caldwell "Mike" Gordon FRS (28 February 1948 – 22 August 2017) was a British computer scientist. He was born in Ripon, Yorkshire.
  Gordon led the development of the HOL theorem prover. He was elected a Fellow of the Royal Society in 1994, and in 2008 a two-day research meeting on Tools and Techniques for Verification of System Infrastructure was held there in honour of his 60th birthday.
  Gordon died in Cambridge, Cambridgeshire from pancreatic cancer on 22 August 2017 at the age of 69.
caption: Gordon in 2005
exif: {"Image Make": "Canon", "Image Model": "Canon PowerShot S2 IS", "Image Orientation": "0", "Image XResolution": "180", "Image YResolution": "180", "Image ResolutionUnit": "Pixels/Inch", "Image DateTime": "2005:12:22 12:53:25", "Image YCbCrPositioning": "Centered", "Image ExifOffset": "186", "Thumbnail Compression": "JPEG (old-style)", "Thumbnail XResolution": "72", "Thumbnail YResolution": "72", "Thumbnail ResolutionUnit": "Pixels/Inch", "Thumbnail JPEGInterchangeFormat": "2312", "Thumbnail JPEGInterchangeFormatLength": "5669", "EXIF ExposureTime": "1/50", "EXIF FNumber": "7/2", "EXIF ExifVersion": "0220", "EXIF DateTimeOriginal": "2005:12:22 12:53:25", "EXIF DateTimeDigitized": "2005:12:22 12:53:25", "EXIF ComponentsConfiguration": "YCbCr", "EXIF CompressedBitsPerPixel": "3", "EXIF ShutterSpeedValue": "181/32", "EXIF ApertureValue": "29/8", "EXIF ExposureBiasValue": "0", "EXIF MaxApertureValue": "29/8", "EXIF MeteringMode": "Spot", "EXIF Flash": "Flash did not fire, compulsory flash mode", "EXIF FocalLength": "139/10", "EXIF FlashPixVersion": "0100", "EXIF ColorSpace": "Uncalibrated", "EXIF ExifImageWidth": "480", "EXIF ExifImageLength": "399", "Interoperability InteroperabilityIndex": "R98", "Interoperability InteroperabilityVersion": "[48, 49, 48, 48]", "Interoperability RelatedImageWidth": "480", "Interoperability RelatedImageLength": "399", "EXIF InteroperabilityOffset": "2164", "EXIF FocalPlaneXResolution": "64000/9", "EXIF FocalPlaneYResolution": "50000/7", "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"}