Gordon Plotkin
Gordon David Plotkin (né le 9 septembre 1946 à Glasgow ) est un informaticien théorique britannique . Plotkin a étudié à l' Université de Glasgow et à l' Université d'Édimbourg avec un baccalauréat en 1967 et un doctorat en informatique avec Rodney Burstall (* 1934) 1972 (Méthodes automatiques d'inférence inductive). Il est devenu professeur à Edimbourg, où il a fondé le Laboratoire des fondations de l'informatique (LFCS) avec Burstall et Robin Milner .
Il est connu pour avoir introduit la sémantique structurelle opérationnelle (SOS, également Small Step Semantics ) dans la théorie des langages de programmation . Il traite également de la sémantique dénotationnelle , de la théorie des types, de l'analyse théorique des domaines et de la théorie des catégories en informatique, de la théorie de la preuve générale , de la sémantique des langages naturels, des calculs de processus et des modèles informatiques en biologie et chimie.
En 2014, il a reçu le prix EATCS . Il est membre de la Royal Society (1992), membre de la Royal Society of Edinburgh et membre de l' Academia Europaea . Il a reçu le Wolfson Research Merit Award et en 2012 le Milner Award de la Royal Society. En 2011, il a reçu la médaille Blaise Pascal , en 2018 la médaille Lovelace .
Polices
- Une approche structurelle de la sémantique opérationnelle , Département d'informatique, Université d'Aarhus 1981, réimpression: J. Log. Algebr. Programme., Vol. 60–61, 2004, pp. 17–139 (avec l'introduction de Plotkin: The Origins of Structural Operational Semantics )
- avec John C. Mitchell: Les types abstraits ont un type existentiel , ACM Transactions on Programming Languages and Systems 10, 1988, 470.
liens web
Preuve individuelle
- ↑ Gordon Plotkin dans le projet de généalogie des mathématiques (anglais)
données personnelles | |
---|---|
NOM DE FAMILLE | Plotkin, Gordon |
NOMS ALTERNATIFS | Plotkin, Gordon David |
BRÈVE DESCRIPTION | Informaticien britannique |
DATE DE NAISSANCE | 9 septembre 1946 |
LIEU DE NAISSANCE | Glasgow |