human
Veuillez expliquer ce qu'est "Gordon Plotkin"
gpt
Gordon David Plotkin, FRS FRSE MAE (né le 9 septembre 1946) est un informaticien théoricien à l'École d'informatique de l'Université d'Édimbourg. Plotkin est probablement mieux connu pour son introduction de la sémantique opérationnelle structurelle (SOS) et ses travaux sur la sémantique dénotationnelle. En particulier, ses notes sur A Structural Approach to Operational Semantics ont été très influentes.[citation nécessaire] Il a contribué à de nombreux autres domaines de l'informatique.[10][11][12][13][14][15]