Gordon David Plotkin, né le à Glasgow, est un informaticien théoricien britannique.
Carrière Gordon Plotkin étudie à l'université de Glasgow et à l'université d'Édimbourg avec un diplôme de Bachelor en 1967 et un doctorat en informatique en 1972 sous la direction de avec un travail intitulé Automatic methods of inductive inference. Il devient professeur à Édimbourg, où il crée, avec Burstall et Robin Milner, le Laboratory for Foundations of Computer Science (LFCS).
Recherche Il est connu pour avoir introduit le concept de sémantique opérationnelle structurelle (SOS), aussi appelée Small Step Semantics en théorie des langages de programmation. Il travaille également en sémantique dénotationnelle, théorie des types, théorie des domaines et analyse catégorielle, plus généralement en théorie de la démonstration, sémantique des langues naturelles, algèbres de processus et modèles informatiques en biologie et chimie.
Prix et distinctions 1992 : Fellow de la Royal Society 2011 : Médaille Blaise-Pascal de l'académie européenne des sciences. 2012 : prix Milner de la Royal Society 2014 : European Association for Theoretical Computer Science#Prix EATCS Prix EATCS. Il est Fellow de la Royal Society of Edinburgh, Fellow de la Academia Europaea, et a reçu un Royal Society Wolfson Research Merit Award.
Travaux (sélection)
.
Notes et références
Article lié Anti-unification
Liens externes Page personnelle Page à l'université d'Édimbourg. Gordon Plotkin sur Microsoft Academic Research
Catégorie:Informaticien britannique Catégorie:Professeur à l'université d'Édimbourg Catégorie:Naissance en septembre 1946 Catégorie:Naissance à Glasgow au XXe siècle Catégorie:Lauréat du prix EATCS Catégorie:Lauréat de la bourse Wolfson