Gordon Plotkin
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]
| Gordon Plotkin | |
|---|---|
 | |
| 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/ | |
Formação
editarPlotkin 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
editarPlotkin 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
editarPlotkin 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:
| “ | Plotkin has contributed to Artificial Intelligence, Logic, Linguistics and especially to Computer Science. In AI he worked on hypothesis-formation and universal unification; in Logic, on frameworks for arbitrary logics; in Linguistics, on formalising situation theory.
His main general contribution has been to establish a semantic framework for Computer Science, especially programming languages. Particular significant results are in the lambda-calculus (elementary models, definability, call-by-value), non-determinism (powerdomain theory), semantic formalisms (structured operational semantics, metalanguages), and categories of semantic domains (coherent, pro-finite, concrete). Further contributions concern the semantic paradigm of full abstraction, concurrency theory (event structures), programming logic and type theory.[21] |
” |
Referências
- ↑ 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
- ↑ a b Gordon Plotkin (em inglês) no Mathematics Genealogy Project
- ↑ a b Plotkin, Gordon David (1972). Automatic methods of inductive inference (Tese de PhD). University of Edinburgh
- ↑ Cardelli, Luca (1982). An algebraic approach to hardware description and verification (Tese de PhD). University of Edinburgh
- ↑ Moggi, Eugenio (1999). The partial lambda calculus (Tese de PhD). University of Edinburgh
- ↑ Wèi, Lǐ (1983). An operational approach to semantics and translation for programming languages (Tese de PhD)
- ↑ Automatic Methods of Inductive Inference
- ↑ Gordon Plotkin's publications indexed by Google Scholar, a service provided by Google
- ↑ Gordon Plotkin author profile page at the ACM Digital Library
- ↑ «Publicações de Gordon Plotkin, indexadas pelo banco de dados bibliográfico Scopus, um serviço da Elsevier» 🔗. (pede subscrição (ajuda))
- ↑ Lista de publicações do Digital Bibliography & Library Project.
- ↑ 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
- ↑ 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
- ↑ List of publications from Microsoft Academic
- ↑ 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
- ↑ 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
- ↑ A Structural Approach to Operational Semantics by G.D. Plotkin (1981)
- ↑ Program Verification and Semantics: Further Work Arquivado em 2007-09-26 no Wayback Machine (2004)
- ↑ Royal Society Milner Award
- ↑ From logic to computer science: a linguistic journey
- ↑ «EC/1992/29: Plotkin, Gordon David». London: The Royal Society. Arquivado do original em 16 de abril de 2014