Neste Dia

Gordon Plotkin

Baixaria Maomé

Anúncio

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.

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.

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

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:

Anúncio

Em breve no aplicativo World in Stories

Áudio, download offline, sem anúncios e muito mais.

Conhecer Premium
Gordon Plotkin | World in Stories