Michael John Caldwell "Mike" Gordon FRS (28. Februar 1948 - 22. August 2017) war ein führender britischer Informatiker. [2][3]
Mike Gordon wurde in Ripon, Yorkshire, England geboren. [4] Er besuchte Dartington Hall School und Bedales School. 1966 wurde er zum Ingenieurstudium am Gonville and Caius College der University of Cambridge zugelassen, wechselte jedoch zur Mathematik. Während seines Studiums arbeitete er im Sommer 1969 im National Physical Laboratory in London, wo er seine ersten Erfahrungen mit Computern machte.
Gordon promovierte an der University of Edinburgh unter der Aufsicht von Rod Burstall und schloss 1973 seine Abschlussarbeit mit dem Titel Evaluation and Denotation of Pure LISP Programs ab. Er wurde von John McCarthy, dem Erfinder von LISP, an die Stanford University in Kalifornien eingeladen, um dort in seinem Labor für künstliche Intelligenz zu arbeiten. Gordon arbeitete ab 1981 am Cambridge University Computer Laboratory, zunächst als Dozent, 1988 zum Reader befördert und 1996 zum Professor.
Gordon wurde 1994 zum Fellow der Royal Society gewählt [5]und 2008 fand ein zweitägiges Forschungstreffen zu Tools and Techniques zur Überprüfung der Systeminfrastruktur dort zu Ehren seines 60. Geburtstages statt Geburtstag. [6] Er starb nach kurzer Krankheit in Cambridge und wird von seiner Frau und seinen zwei Söhnen überlebt.
Không có nhận xét nào:
Đăng nhận xét