Gordon Plotkin

Gordon Plotkin
Gordon Plotkin
Gordon Plotkin em 2005
Semântica operacional
Nascimento 9 de setembro de 1946 (78 anos)[1]
Glasgow
Residência Escócia
Nacionalidade britânico
Cidadania Escócia
Alma mater Universidade de Glasgow (BSc), Universidade de Edimburgo (PhD)
Ocupação cientista de computação, engenheiro, professor universitário
Distinções Prêmio Milner (2012), Prêmio Fundação Wolfson/Royal Society
Empregador(a) Universidade de Edimburgo
Orientador(a)(es/s) Rod Burstall[2] e Donald Michie[3]
Orientado(a)(s) Luca Cardelli[4], Philippa Gardner, Eugenio Moggi[5], Lǐ Wèi[6]
Instituições Universidade de Edimburgo, Laboratory for Foundations of Computer Science, University of Edinburgh School of Informatics, Universidade de Glasgow
Campo(s) lógica, ciência da computação, matemática
Tese 1972: Automatic methods of inductive inference[7]
Página oficial
http://www.inf.ed.ac.uk/people/staff/Gordon_Plotkin.html, http://homepages.inf.ed.ac.uk/gdp/

Gordon David Plotkin, FRS, FRSE (Glasgow, 9 de setembro de 1946) é um cientista da computação britânico, professor da School of Informatics da Universidade de Edimburgo. Plotkin é provavelmente mais conhecido por sua introdução da semântica operacional estrutural (em inglês: structural operational semantics (SOS)) e seu trabalho sobre semântica denotacional. Em particular, suas notas sobre A Structural Approach to Operational Semantics foram de muita influência. Contribuiu para muitas outras áreas da ciência da computação.[8][9][10][11][12][13][14]

Formação

Plotkin estudou na Universidade de Glasgow e na Universidade de Edimburgo, obtendo o grau de bacharel em ciências em 1967[1] e o PhD em 1972[3] orientado por Rod Burstall.[2]

Carreira

Plotkin permaneceu na Universidade de Edimburgo sendo, com Burstall e Robin Milner, co-fundador do Laboratory for Foundations of Computer Science (LFCS).[15][16][17][18]

Foi palestrante convidado do Congresso Internacional de Matemáticos em Varsóvia (1983).

Prêmios e honrarias

Plotkin foi eleito Membro da Royal Society em 1992, é fellow da Sociedade Real de Edimburgo e membro da Academia Europæa. Recebeu o Prêmio Fundação Wolfson/Royal Society. Plotkin recebeu o Prêmio Milner de 2012 por "his fundamental research into programming semantics with lasting impact on both the principles and design of programming languages."[19][20]

Em sua nomeação para a Royal Society consta:

Referências

  1. ↑ a b «PLOTKIN, Prof. Gordon David». Who's Who 2013, A & C Black, an imprint of Bloomsbury Publishing plc, 2013; online edn, Oxford University Press 
  2. ↑ a b Gordon Plotkin (em inglês) no Mathematics Genealogy Project
  3. ↑ a b Plotkin, Gordon David (1972). Automatic methods of inductive inference (Tese de PhD). University of Edinburgh 
  4. ↑ Cardelli, Luca (1982). An algebraic approach to hardware description and verification (Tese de PhD). University of Edinburgh 
  5. ↑ Moggi, Eugenio (1999). The partial lambda calculus (Tese de PhD). University of Edinburgh 
  6. ↑ Wèi, Lǐ (1983). An operational approach to semantics and translation for programming languages (Tese de PhD) 
  7. ↑ Automatic Methods of Inductive Inference
  8. ↑ Gordon Plotkin's publications indexed by Google Scholar, a service provided by Google
  9. ↑ Gordon Plotkin author profile page at the ACM Digital Library
  10. ↑ «Publicações de Gordon Plotkin, indexadas pelo banco de dados bibliográfico Scopus, um serviço da Elsevier» 🔗. (pede subscrição (ajuda)) 
  11. ↑ Lista de publicações do Digital Bibliography & Library Project.
  12. ↑ Mitchell, J. C.; Plotkin, G. D. (1988). «Abstract types have existential type». ACM Transactions on Programming Languages and Systems. 10 (3). 470 páginas. doi:10.1145/44501.45065 
  13. ↑ Abadi, M. N.; Burrows, M.; Lampson, B.; Plotkin, G. (1993). «A calculus for access control in distributed systems» (PDF). ACM Transactions on Programming Languages and Systems. 15 (4). 706 páginas. doi:10.1145/155183.155225 
  14. ↑ List of publications from Microsoft Academic
  15. ↑ Plotkin, G. D. (1975). «Call-by-name, call-by-value and the λ-calculus». Theoretical Computer Science. 1 (2). 125 páginas. doi:10.1016/0304-3975(75)90017-1 
  16. ↑ Plotkin, G. D. (2004). «The origins of structural operational semantics». The Journal of Logic and Algebraic Programming. 60-61. 3 páginas. doi:10.1016/j.jlap.2004.03.009 
  17. ↑ A Structural Approach to Operational Semantics by G.D. Plotkin (1981)
  18. ↑ Program Verification and Semantics: Further Work Arquivado em 2007-09-26 no Wayback Machine (2004)
  19. ↑ Royal Society Milner Award
  20. ↑ From logic to computer science: a linguistic journey
  21. ↑ «EC/1992/29: Plotkin, Gordon David». London: The Royal Society. Arquivado do original em 16 de abril de 2014 

Ligações externas