stringtranslate.com

Gordon Plotkin

Gordon David Plotkin , FRS FRSE MAE (nacido el 9 de septiembre de 1946) [8] es un informático teórico de la Facultad de Informática de la Universidad de Edimburgo . Plotkin es probablemente mejor conocido por su introducción de la semántica operativa estructural (SOS) y su trabajo sobre la semántica denotacional . En particular, sus notas sobre Un enfoque estructural de la semántica operativa fueron muy influyentes. [9] [10] Ha contribuido a muchas otras áreas de la informática . [11] [12] [13] [14] [15] [16] [17]

Educación

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

Carrera e investigación

Plotkin permaneció en Edimburgo y fue, con Burstall y Robin Milner , cofundador del Laboratorio de Fundamentos de la Informática (LFCS). [18] [19] [20] [21] Sus antiguos estudiantes de doctorado incluyen a Luca Cardelli , [3] Philippa Gardner , [4] Doug Gurr , [5] Eugenio Moggi , [6] y Lǐ Wèi . [7] [1]

Premios y honores

Plotkin fue elegido miembro de la Royal Society (FRS) en 1992 y miembro de la Royal Society of Edinburgh (FRSE) [ ¿cuándo? ] y es miembro de la Academia Europæa [22] y de la Academia Estadounidense de Artes y Ciencias . [23] 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 programación con un impacto duradero tanto en los principios como en el diseño de los lenguajes de programación". [24] Su nominación para la Royal Society dice:

Plotkin ha contribuido a la Inteligencia Artificial, la Lógica, la 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 la situación . Su principal contribución general ha sido establecer un marco semántico para las Ciencias de la Computación, especialmente los lenguajes de programación. 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 operativa 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 . [25]

Referencias

  1. ^ abc Gordon Plotkin en el Proyecto de Genealogía de Matemáticas
  2. ^ ab Plotkin, Gordon David (1972). Métodos automáticos de inferencia inductiva (tesis doctoral). Universidad de Edimburgo. hdl : 1842/6656. EThOS  uk.bl.ethos.482992. Icono de acceso gratuito
  3. ^ ab 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.
  4. ^ ab Gardner, Philippa (1992). Representación de la lógica en la teoría de tipos (tesis doctoral). Universidad de Edimburgo. hdl :1842/14888. EThOS  uk.bl.ethos.651333. Icono de acceso gratuito
  5. ^ ab 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. Icono de acceso gratuito
  6. ^ ab Moggi, Eugenio (1999). El cálculo lambda parcial (tesis doctoral). Universidad de Edimburgo. hdl : 1842/419.
  7. ^ ab 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.
  8. ^ abc Anón (2013). "Plotkin, profesor Gordon David" . Quién es quién (edición en línea de Oxford University Press  ). Oxford: A y C negro. doi :10.1093/ww/9780199540884.013.U31011. (Se requiere suscripción o membresía en la biblioteca pública del Reino Unido).
  9. ^ Crary, Karl; Harper, Robert (2007). "Relaciones lógicas sintácticas para tipos polimórficos y recursivos". Apuntes Electrónicos en Informática Teórica . 172 : 259. doi : 10.1016/j.entcs.2007.02.010 .
  10. ^ Curien, Pierre-Louis (abril de 2022), Semántica y sintaxis, entre informática y matemáticas (PDF) , p. 2
  11. ^ Publicaciones de Gordon Plotkin indexadas por Google Scholar
  12. ^ Página de perfil del autor de Gordon Plotkin en la Biblioteca Digital ACM
  13. ^ Publicaciones de Gordon Plotkin indexadas por la base de datos bibliográfica Scopus . (requiere suscripción)
  14. ^ Gordon D. Plotkin en el servidor de bibliografía DBLP
  15. ^ Mitchell, JC ; Plotkin, GD (1988). "Los tipos abstractos tienen un tipo existencial". Transacciones ACM sobre lenguajes y sistemas de programación . 10 (3): 470. doi : 10.1145/44501.45065 . S2CID  1222153.
  16. ^ Abadi, manganeso ; Madrigueras, 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. 
  17. ^ "Simposio para Gordon Plotkin". www.lfcs.inf.ed.ac.uk.​
  18. ^ Plotkin, GD (1975). "Llamada por nombre, llamada por valor y cálculo λ". Informática Teórica . 1 (2): 125-159. doi : 10.1016/0304-3975(75)90017-1 .
  19. ^ Plotkin, GD (2004). "Los orígenes de la semántica operativa estructural". La Revista de Lógica y Programación Algebraica . 60–61: 3–15. doi : 10.1016/j.jlap.2004.03.009 .
  20. ^ Un enfoque estructural de la semántica operativa por GD Plotkin (1981)
  21. ^ Verificación y semántica del programa: trabajo adicional Archivado el 26 de septiembre de 2007 en Wayback Machine (2004)
  22. ^ Hoffmann, Ilire Hasani, Robert. "Academia de Europa: Plotkin Gordon". www.ae-info.org .{{cite web}}: Mantenimiento CS1: varios nombres: lista de autores ( enlace )
  23. ^ "Nuevos miembros de la Academia Estadounidense de Artes y Ciencias".
  24. ^ "- Sociedad de la Real". royalsociety.org .
  25. ^ "CE/1992/29: Plotkin, Gordon David". Londres: La Royal Society. Archivado desde el original el 16 de abril de 2014.