David Anthony Watt (born 5 November 1946) is a British computer scientist.
Watt is a professor at the
University of Glasgow,
Scotland. With
Peter Mosses
Peter David Mosses (born 1948) is a British computer scientist.
Peter Mosses studied mathematics as an undergraduate at Trinity College, Oxford, and went on to undertake a DPhil supervised by Christopher Strachey in the Programming Research G ...
he developed
action semantics
Action semantics is a framework for the formal specification of semantics of programming languages invented by David Watt and Peter D. Mosses in the 1990s. It is a mixture of denotational, operational and algebraic semantics.
Action Semantics ...
, a combination of
denotational semantics
In computer science, denotational semantics (initially known as mathematical semantics or Scott–Strachey semantics) is an approach of formalizing the meanings of programming languages by constructing mathematical objects (called ''denotations'' ...
,
operational and
algebraic semantics. He currently teaches a third year
programming languages course, and a postgraduate course on algorithms and data structures.
He is recognisable around campus for his more formal attire compared to the department's normally casual dress code.
References
External links
Home page*
1946 births
Living people
British computer scientists
Academics of the University of Glasgow
Formal methods people
Place of birth missing (living people)
{{formalmethods-stub