Gordon David Plotkin, FRS FRSE MAE is a theoretical computer scientist in the School of Informatics at the University of Edinburgh. Plotkin is probably best known for his introduction of structural operational semantics and his work on... Wikipedia