Gordon Plotkin
Da Wikipedia, l'enciclopedia libera.
Gordon D. Plotkin (Glasgow, 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.
Biografia [modifica]
Per molti anni Plotkin fu all' università di Aarhus in Danimarca. Ora è professore di Informatica Teorica all'Università di Edimburgo in Scozia, dove è co-fondatore del laboratorio per la fondazione di informatica (LFCS). Fu eletto come 'Fellow of the Royal Society' nel 1992.
Collegamenti esterni [modifica]
- Homepage ufficiale
- Homepage personale
- Documenti online
- Approcci alla semantica operazionale strutturale di G.D. Plotkin (1981)
Controllo di autorità VIAF: 81146152
|
|