Hispanopedia Wiki
Articulo de referencia

Michael JC Gordon

[[University of Cambridge]]"},"alma_mater":{"wt":"[[Gonville and Caius College, Cambridge]] [[University of Edinburgh]]"},"thesis_title":{"wt":"Evaluation and denotation of pure...

Hispanopedia WikiContenido en espanolLectura gratuita

Michael John Caldwell Gordon (28 de febrero de 1948 – 22 de agosto de 2017) fue un científico informático británico . [ 2 ] [ 3 ]

Vida

Mike Gordon nació en Ripon , Yorkshire , Inglaterra. [ 4 ] Asistió a la escuela Dartington Hall y a la escuela Bedales . En 1966, fue admitido para estudiar ingeniería en el Gonville and Caius College de Cambridge , pero se cambió a matemáticas . Durante sus estudios, en 1969 trabajó en el Laboratorio Nacional de Física de Londres durante el verano, donde tuvo su primer contacto con las computadoras.

Gordon cursó su doctorado en la Universidad de Edimburgo , bajo la supervisión de Rod Burstall , y lo finalizó en 1973 con una tesis titulada « Evaluación y denotación de programas LISP puros» . Fue invitado a la Universidad de Stanford en California por John McCarthy , el inventor de LISP , para trabajar en su Laboratorio de Inteligencia Artificial . Gordon trabajó en el Laboratorio de Computación de la Universidad de Cambridge desde 1981, inicialmente como profesor adjunto, ascendiendo a catedrático en 1988 y a profesor titular en 1996.

Fue elegido miembro de la Royal Society en 1994, [ 5 ] y en 2008 se celebró allí una reunión de investigación de dos días sobre herramientas y técnicas para la verificación de la infraestructura del sistema en honor a su 60 cumpleaños. [ 6 ]

Mike Gordon estaba casado con Avra ​​Cohn, estudiante de doctorado de Robin Milner en la Universidad de Edimburgo , y realizaron investigaciones juntos. [ 4 ]

Murió en Cambridge tras una breve enfermedad y le sobreviven su esposa y dos hijos. [ 2 ] [ 7 ] [ 8 ]

Trabajar

Gordon lideró el desarrollo del demostrador de teoremas HOL . El sistema HOL es un entorno para la demostración interactiva de teoremas en lógica de orden superior . Su característica más destacada es su alto grado de programabilidad mediante el metalenguaje ML . El sistema tiene una amplia variedad de usos, desde la formalización de las matemáticas puras hasta la verificación de hardware industrial.

Se han celebrado varias conferencias internacionales sobre el sistema HOL, TPHOLs. [ 9 ] Las tres primeras fueron reuniones informales de usuarios sin actas publicadas. Actualmente, la tradición consiste en una conferencia anual en un continente distinto al de la reunión anterior. A partir de 1996, el alcance se amplió para abarcar la demostración de teoremas en lógicas de orden superior.

Referencias

  1. ↑ Michael JC Gordon en el Proyecto de Genealogía Matemática
  2. 1 2 "Michael JC Gordon FRS, Profesor Emérito de Razonamiento Asistido por Computadora, 28 de febrero de 1948 – 22 de agosto de 2017" . Obituarios . Reino Unido: Laboratorio de Computación, Universidad de Cambridge . 2017. Consultado el 2 de septiembre de 2017 .
  3. ↑ Laboratorio de Computación de la Universidad de Cambridge (27 de octubre de 2017). "Michael JC Gordon FRS, Profesor de Razonamiento Asistido por Computadora (28 de febrero de 1948 – 22 de agosto de 2017)" . Aspectos Formales de la Computación . 29 (6). Springer International Publishing : 933. doi : 10.1007/s00165-017-0438-y .
  4. 1 2 Paulson, Lawrence C. (11 de junio de 2018). "Michael John Caldwell Gordon (FRS 1994), 28 de febrero de 1948 – 22 de agosto de 2017" . arXiv : 1806.04002 . doi : 10.1098/rsbm.2018.0019 . S2CID 47017843 . {{cite journal}}: Para citar una revista se requiere |journal=( ayuda )
  5. ↑ Paulson, Lawrence C (2018). "Michael John Caldwell Gordon. 28 de febrero de 1948 – 22 de agosto de 2017". Memorias biográficas de los miembros de la Royal Society . doi.org/10.1098/rsbm.2018.0019 .
  6. ↑ "Herramientas y técnicas para la verificación de la infraestructura del sistema" . Consultado el 14 de enero de 2023 .
  7. ↑ Kalvala, Sara (22 de agosto de 2017). "Tristes noticias sobre Mike Gordon" . Sistema de demostración de teoremas HOL . SourceForge . Consultado el 2 de septiembre de 2017 .
  8. ↑ Bowen, Jonathan P. (junio de 2020). "In Memoriam: Un homenaje a cinco colegas de métodos formales" (PDF) . FACS FACTS . 2020 (1). BCS-FACS : 13–29 . doi : 10.13140/RG.2.2.13481.62560 .
  9. ↑ "TPHOLS, conferencias relacionadas con la demostración de teoremas en lógicas de orden superior" . Reino Unido: Universidad de Cambridge . Archivado del original el 7 de mayo de 2008. Consultado el 28 de enero de 2014 .
  • Página principal de Mike Gordon