Gordon David Plotkin , FRS FRSE MAE (nacido el 9 de septiembre de 1946) [1] es un informático teórico en 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 A Structural Approach to Operational Semantics fueron muy influyentes. [ cita requerida ] Ha contribuido a muchas otras áreas de la informática . [9] [10] [11] [12][13] [14] [15]
| Gordon Plotkin FRS FRSE MAE | |
|---|---|
 En la conferencia MFCS 2005 | |
| Nació | Gordon David Plotkin 9 de septiembre de 1946 [1] |
| 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 |
Educación
Plotkin se educó en la Universidad de Glasgow y la Universidad de Edimburgo , obteniendo su licenciatura en Ciencias en 1967 [1] y su doctorado en 1972 [3] supervisado por Rod Burstall . [2]
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). [16] [17] [18] [19] Sus antiguos estudiantes de doctorado incluyen a Luca Cardelli , [4] Philippa Gardner , [5] Doug Gurr , [6] Eugenio Moggi , [7] y Lǐ Wèi . [8] [2]
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 . [20] 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". [21] 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 . [22]
Referencias
- ↑ 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)
- ^ a b c Gordon Plotkin en el Proyecto de genealogía de las matemáticas
- ^ 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 .
- ^ 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 .
- ^ 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 .
- ^ 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 .
- ^ a b Moggi, Eugenio (1999). El cálculo lambda parcial (tesis doctoral). Universidad de Edimburgo. hdl : 1842/419 .
- ^ 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 .
- ^ Publicaciones de Gordon Plotkin indexadas por Google Scholar
- ^ Página de perfil del autor de Gordon Plotkin en laBiblioteca digital de ACM
- ^ Publicaciones de Gordon Plotkin indexadas por labase de datos bibliográfica Scopus . (requiere suscripción)
- ^ Gordon D. Plotkin en elservidor de bibliografía DBLP
- ^ 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 .
- ^ 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 .
- ^ "Simposio de Gordon Plotkin" . www.lfcs.inf.ed.ac.uk .
- ^ 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 .
- ^ 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 .
- ^ Un enfoque estructural de la semántica operativa por GD Plotkin (1981)
- ^ Programa de verificación y semántica: trabajo adicional Archivado el 26 de septiembre de 2007 en la Wayback Machine (2004)
- ^ Hoffmann, Ilire Hasani, Robert. "Academia de Europa: Plotkin Gordon" . www.ae-info.org .
- ^ "- Sociedad Real" . royalsociety.org .
- ^ "EC / 1992/29: Plotkin, Gordon David" . Londres: The Royal Society. Archivado desde el original el 16 de abril de 2014.
