Reference numberEC/1994/17
TitleGordon, Michael John Caldwell: certificate of election to the Royal Society
DescriptionCitation typed
CitationDr Gordon is internationally distinguished for his work on the formal verifiction of the design of computer hardware, that is to say, the demonstration with the rigour of formal logic that an implementation specification relates correctly to a functional specification. He has, with great imagination and energy, taken this subject from a gleam in the eye of the theorist he then was to one which can be, and has been, applied to real circuits for real purposes. The verification by Dr Gordon and Dr Cohn of the Viper microprocessor circuit was a landmark effort. His logic system, HOL, is in use as far away as Beijing; it is a major factor in endeavours to make possible the construction of computer systems for safety-critical and high-integrity applications. His research group is unexcelled in its field.
Access statusClosed
Fellows associated with this archive
NA4197Gordon; Michael John Caldwell (1948 - 2017)1948 - 2017
Add to My Items

    Collection highlights

    Browse the records of some of our collections, which cover all branches of science and date from the 12th century onwards. These include the published works of Fellows of the Royal Society, personal papers of eminent scientists, letters and manuscripts sent to the Society or presented at meetings, and administrative records documenting the Society's activities since our foundation in 1660.

    The Royal Society

    The Royal Society is a Fellowship of many of
    the world's most eminent scientists and is the
    oldest scientific academy in continuous existence.
    Registered charity number 207043

    Website design ©CalmView


    + 44 207 451 2500
    (Lines open Mon-Fri, 9:00-17:00. Excludes bank holidays)

    6-9 Carlton House Terrace, London SW1Y 5AG

    Email Us →


    Subscribe to our newsletters to be updated with the
    latest news on innovation, events, articles and reports.

    Subscribe →

    © CalmView