| RefNo | EC/1994/17 |
| Level | Item |
| Title | Gordon, Michael John Caldwell: certificate of election to the Royal Society |
| Date | 07/07/1989 |
| Description | Citation typed |
| Citation | Dr 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. |
| AccessStatus | Closed |
Fellows associated with this archive
| Code | PersonName | Dates |
| NA4197 | Gordon; Michael John Caldwell (1948 - 2017) | 1948 - 2017 |