Gordon Plotkin - Gordon Plotkin

Gordon Plotkin

FRS FRSE MAE
Gordon Plotkin.jpg
En la conferencia MFCS 2005
Nació
Gordon David Plotkin

( 09/09/1946 )9 de septiembre de 1946 (74 años)
Glasgow
Nacionalidad británico
alma mater Universidad de Glasgow (BSc)
Universidad de Edimburgo (PhD)
Conocido por Programación de funciones computables No
determinismo ilimitado
Semántica operacional
Teoría del dominio
Premios
Carrera científica
Campos Lógica
Matemáticas
Informática
Instituciones
Laboratorio de Fundamentos de Ciencias de la Computación de la Universidad de Edimburgo
Facultad de Informática
Universidad de Glasgow
Tesis Métodos automáticos de inferencia inductiva  (1972)
Asesor de doctorado
Estudiantes de doctorado
Sitio web páginas de inicio .inf .ed .ac .uk / gdp
inf .ed .ac .uk / people / staff / Gordon _Plotkin .html

Gordon David Plotkin , FRS FRSE MAE (nacido el 9 de septiembre de 1946) es un informático teórico en la Escuela de Informática de la Universidad de Edimburgo . Plotkin es probablemente mejor conocido por su introducción de la semántica operacional estructural (SOS) y su trabajo sobre semántica denotacional . En particular, sus notas sobre A Structural Approach to Operational Semantics fueron muy influyentes. Ha contribuido en muchas otras áreas de la informática .

Educación

Plotkin se educó en la Universidad de Glasgow y la Universidad de Edimburgo , obteniendo su licenciatura en Ciencias en 1967 y su doctorado en 1972 supervisado por Rod Burstall .

Carrera e investigación

Plotkin se ha quedado en Edimburgo y fue, con Burstall y Robin Milner , cofundador del Laboratorio de Fundamentos de la Ciencia de la Computación (LFCS). Sus antiguos estudiantes de doctorado incluyen a Luca Cardelli , Philippa Gardner , Doug Gurr , Eugenio Moggi y Lǐ Wèi .

Premios y honores

Plotkin fue elegido miembro de la Royal Society (FRS) en 1992 y miembro de la Royal Society of Edinburgh (FRSE) y es miembro de la Academia Europæa . También es ganador del Premio al Mérito de Investigación Wolfson de la Royal Society . Plotkin recibió el premio Milner en 2012 por "su investigación fundamental sobre la semántica de la programación con un impacto duradero tanto en los principios como en el diseño de los lenguajes de programación". Su nominación para la Royal Society dice:

Plotkin ha contribuido a la Inteligencia Artificial, Lógica, Lingüística y especialmente a la Informática. En IA trabajó en la formación de hipótesis y la unificación universal; en Lógica, sobre marcos para lógicas arbitrarias; en Lingüística, sobre la formalización de la teoría de situaciones . Su principal contribución general ha sido establecer un marco semántico para la informática, especialmente los lenguajes de programación. Los resultados particularmente significativos se encuentran en el cálculo lambda (modelos elementales, definibilidad, llamada por valor ), no determinismo ( teoría del dominio de poder ), formalismos semánticos ( semántica operacional estructurada , metalenguajes) y categorías de dominios semánticos (coherente, pro- finito, concreto). Otras contribuciones se refieren al paradigma semántico de la abstracción total, la teoría de la concurrencia (estructuras de eventos), la lógica de programación y la teoría de tipos .

Referencias

  1. ↑ a b c Anon (2013). "Plotkin, Prof. Gordon David" . Quién es quién . ukwhoswho.com ( edición en línea de Oxford University Press  ). A & C Black, una impresión de Bloomsbury Publishing plc. doi : 10.1093 / ww / 9780199540884.013.U31011 . (se requiere suscripción o membresía a una biblioteca pública del Reino Unido ) (se requiere suscripción)
  2. ^ a b c Gordon Plotkin en el Proyecto de genealogía de las matemáticas
  3. ↑ a b Plotkin, Gordon David (1972). Métodos automáticos de inferencia inductiva (tesis doctoral). Universidad de Edimburgo. hdl : 1842/6656 . EThOS  uk.bl.ethos.482992 . Libre de leer
  4. ↑ a b Cardelli, Luca (1982). Un enfoque algebraico para la descripción y verificación de hardware (tesis doctoral). Universidad de Edimburgo. hdl : 1842/13308 . EThOS  uk.bl.ethos.253190 .
  5. ↑ a b Gardner, Philippa (1992). Representar lógicas en teoría de tipos (tesis doctoral). Universidad de Edimburgo. hdl : 1842/14888 . EThOS  uk.bl.ethos.651333 . Libre de leer
  6. ↑ a b Gurr, Douglas John (1990). Marcos semánticos para la complejidad (tesis doctoral). Universidad de Edimburgo. hdl : 1842/13968 . OCLC  475827463 . EThOS  uk.bl.ethos.651894 . Libre de leer
  7. ↑ a b Moggi, Eugenio (1999). El cálculo lambda parcial (tesis doctoral). Universidad de Edimburgo. hdl : 1842/419 .
  8. ↑ a b Wèi, Lǐ (1983). Un enfoque operativo de la semántica y la traducción para lenguajes de programación (tesis doctoral). hdl : 1842/6636 .
  9. ^ Publicaciones de Gordon Plotkin indexadas por Google Scholar Edita esto en Wikidata
  10. ^ Página de perfil del autor de Gordon Plotkin en laBiblioteca digital de ACM
  11. ^ Publicaciones de Gordon Plotkin indexadas por labase de datos bibliográfica Scopus . (requiere suscripción)
  12. ^ Gordon D. Plotkin en elservidor de bibliografía DBLPEdita esto en Wikidata
  13. ^ Mitchell, JC ; Plotkin, GD (1988). "Los tipos abstractos tienen tipo existencial". Transacciones ACM sobre lenguajes y sistemas de programación . 10 (3): 470. doi : 10.1145 / 44501.45065 . S2CID  1222153 .
  14. ^ Abadi, MN ; Burrows, M .; Lampson, B .; Plotkin, G. (1993). "Un cálculo para el control de acceso en sistemas distribuidos" (PDF) . Transacciones ACM sobre lenguajes y sistemas de programación . 15 (4): 706. CiteSeerX  10.1.1.72.3756 . doi : 10.1145 / 155183.155225 . hdl : 1842/207 . S2CID  13260508 .
  15. ^ "Simposio de Gordon Plotkin" . www.lfcs.inf.ed.ac.uk .
  16. ^ Plotkin, GD (1975). "Llamada por nombre, llamada por valor y el cálculo λ" . Informática Teórica . 1 (2): 125-159. doi : 10.1016 / 0304-3975 (75) 90017-1 .
  17. ^ Plotkin, GD (2004). "Los orígenes de la semántica operacional estructural" . La Revista de Programación Lógica y Algebraica . 60–61: 3–15. doi : 10.1016 / j.jlap.2004.03.009 .
  18. ^ Un enfoque estructural de la semántica operativa por GD Plotkin (1981)
  19. ^ Verificación y semántica del programa: trabajo adicional Archivado el 26 de septiembre de 2007 en Wayback Machine (2004)
  20. ^ Hoffmann, Ilire Hasani, Robert. "Academia de Europa: Plotkin Gordon" . www.ae-info.org .
  21. ^ "- Sociedad Real" . royalsociety.org .
  22. ^ "EC / 1992/29: Plotkin, Gordon David" . Londres: The Royal Society. Archivado desde el original el 16 de abril de 2014.