Gordon Plotkin

Gordon Plotkin
Gordon Plotkin em 2005
Semântica operacional
Nascimento9 de setembro de 1946 (80 anos)
Glasgow
ResidênciaEscócia
Nacionalidadebritânico
CidadaniaReino Unido
Alma materUniversidade de Glasgow (BSc), Universidade de Edimburgo (PhD)
Ocupaçãocientista da computação, engenheiro, professor universitário
DistinçõesPrêmio Milner (2012), Prêmio Fundação Wolfson/Royal Society
Empregador(a)Universidade de Edimburgo
Orientador(a)(es/s)Rod Burstall e Donald Michie
InstituiçõesUniversidade de Edimburgo, Laboratory for Foundations of Computer Science, University of Edinburgh School of Informatics, Universidade de Glasgow
Tese1972: Automatic methods of inductive inference
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.

Formação

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

Carreira

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

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."

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

Referências

  1. 1 2 «PLOTKIN, Prof. Gordon David». Who's Who 2013, A & C Black, an imprint of Bloomsbury Publishing plc, 2013; online edn, Oxford University Press
  2. 1 2 Gordon Plotkin (em inglês) no Mathematics Genealogy Project
  3. 1 2 Plotkin, Gordon David (1972). Automatic methods of inductive inference (Tese de PhD). University of Edinburgh
  4. ↑ Automatic Methods of Inductive Inference
  5. ↑ Gordon Plotkin's publications indexed by Google Scholar, a service provided by Google
  6. ↑ Gordon Plotkin author profile page at the ACM Digital Library
  7. ↑ «Publicações de Gordon Plotkin, indexadas pelo banco de dados bibliográfico Scopus, um serviço da Elsevier» 🔗. (pede subscrição (ajuda))
  8. ↑ Lista de publicações do Digital Bibliography & Library Project.
  9. ↑ 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
  10. ↑ 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
  11. ↑ List of publications from Microsoft Academic
  12. ↑ 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
  13. ↑ 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
  14. ↑ A Structural Approach to Operational Semantics by G.D. Plotkin (1981)
  15. ↑ Program Verification and Semantics: Further Work Arquivado em 2007-09-26 no Wayback Machine (2004)
  16. ↑ Royal Society Milner Award
  17. ↑ From logic to computer science: a linguistic journey
  18. ↑ «EC/1992/29: Plotkin, Gordon David». London: The Royal Society. Arquivado do original em 16 de abril de 2014

Ligações externas