Gordon Plotkin
Da Wikipedia, l'enciclopedia libera.
Gordon D. Plotkin (19 settembre 1946) è un informatico scozzese, sviluppò la semantica operazionale strutturale (SOS) ed ha lavorato anche sulla semantica denotazionale. In particolare, le sue note su A Structural Approach to Operational Semantics del 1981 furono molto influenti.
[modifica] Biografia
Per molti anni Plotkin fu all' università di Aarhus in Danimarca. Ora è professore di Informatica Teorica all' università di Edinburgo in Scozia, dove è co-fondatore del laboratorio per la fondazione di informatica (LFCS). Fu eletto come 'Fellow of the Royal Society' nel 1992.
