Luca Cardelli

Luca Cardelli

male
Microsoft Research, Fellow of the Association for Computing Machinery, computer scientist, Montecatini Terme, operationalsemantics, Type theory
Luca Cardelli is an Italian computer scientist who is currently an Assistant Director at Microsoft Research in Cambridge, UK. Cardelli is...
Gordon Plotkin

Gordon Plotkin

male, 63 years old
Jewish, operationalsemantics, Gordon D. Plotkin FRS, denotational semantics, Member of Academia Europaea, A Structural Approach to Operational Semantics
Gordon D. Plotkin FRS (born, in Glasgow, 9 September 1946) is a Scottish computer scientist. Gordon Plotkin is best-known for his introduction of...
Peter Mosses

Peter Mosses

male
Oxford University, operationalsemantics, Formal methods, Alumni of Wolfson College, Oxford, Academic of Swansea University, Programming Research Group…algebraic semantics, program semantics, action semantics, denotational semantics, operational
Peter D. Mosses is a British computer scientist. Peter Mosses studied mathematics as an undergraduate at Trinity College, Oxford, and went on to...

David Watt

male
computer scientist, algebraic semantics, Formal methods, operationalsemantics, denotational semantics, Academic of the University of Glasgow…operational, action semantics
David Watt is a British computer scientist. Watt is a professor at the University of Glasgow, Scotland. With Peter Mosses he developed action...