stringtranslate.com

Gordon Plotkin

Gordon David Plotkin (nacido el 9 de septiembre de 1946) [8] es un científico informático teórico de la Escuela de Informática de la Universidad de Edimburgo . Plotkin es probablemente más conocido por su introducción de la semántica operacional estructural (SOS) y su trabajo sobre semántica denotacional . En particular, sus notas sobre Un enfoque estructural de la semántica operacional 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 estudió 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, junto con Burstall y Robin Milner , cofundador del Laboratorio de Fundamentos de la Ciencia de la Computación (LFCS). [18] [19] [20] [21] Entre sus antiguos estudiantes de doctorado se incluyen 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 Europea [22] y de la Academia Estadounidense de las Artes y las Ciencias [23] . También es ganador del premio Wolfson Research Merit Award de la Royal Society . Plotkin recibió el premio Milner en 2012 por "su investigación fundamental en 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, en marcos para lógicas arbitrarias; en lingüística, en 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. Resultados particularmente significativos se encuentran en el cálculo lambda (modelos elementales, definibilidad, llamada por valor ), el no determinismo ( teoría del dominio de potencia ), los formalismos semánticos ( semántica operacional estructurada , metalenguajes) y las categorías de dominios semánticos (coherente, pro-finito, concreto). Otras contribuciones se refieren al paradigma semántico de abstracción completa, 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 Matemática
  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 lógicas 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 operacional de la semántica y la traducción para lenguajes de programación (tesis doctoral). hdl :1842/6636.
  8. ^ abc Anónimo (2013). "Plotkin, Prof. Gordon David" . Quién es quién (edición en línea de Oxford University Press  ). Oxford: A & C Black. doi :10.1093/ww/9780199540884.013.U31011. (Se requiere suscripción o membresía a una biblioteca pública del Reino Unido).
  9. ^ Crary, Karl; Harper, Robert (2007). "Relaciones lógicas sintácticas para tipos polimórficos y recursivos". Notas electrónicas 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 Gordon Plotkin en la Biblioteca Digital ACM
  13. ^ Publicaciones de Gordon Plotkin indexadas en 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 tipo existencial". ACM Transactions on Programming Languages ​​and Systems . 10 (3): 470. doi : 10.1145/44501.45065 . S2CID  1222153.
  16. ^ Abadi, MN ; Burrows, M. ; Lampson, B. ; Plotkin, G. (1993). "Un cálculo para el control de acceso en sistemas distribuidos" (PDF) . ACM Transactions on Programming Languages ​​and Systems . 15 (4): 706. CiteSeerX 10.1.1.72.3756 . doi :10.1145/155183.155225. hdl :1842/207. S2CID  13260508. 
  17. ^ "Simposio sobre Gordon Plotkin". www.lfcs.inf.ed.ac.uk .
  18. ^ Plotkin, GD (1975). "Llamada por nombre, llamada por valor y el cálculo λ". Ciencias Informáticas Teóricas . 1 (2): 125–159. doi : 10.1016/0304-3975(75)90017-1 .
  19. ^ Plotkin, GD (2004). "Los orígenes de la semántica operacional estructural". The Journal of Logic and Algebraic Programming . 60–61: 3–15. doi : 10.1016/j.jlap.2004.03.009 .
  20. ^ Un enfoque estructural de la semántica operacional por GD Plotkin (1981)
  21. ^ Verificación y semántica de programas: 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}}: CS1 maint: varios nombres: lista de autores ( enlace )
  23. ^ "Nuevos miembros de la Academia Estadounidense de las Artes y las Ciencias".
  24. ^ "- Sociedad Real". royalsociety.org .
  25. ^ "EC/1992/29: Plotkin, Gordon David". Londres: The Royal Society. Archivado desde el original el 16 de abril de 2014.