David Anthony Watt (born 5 November 1946) is a British computer scientist.
Watt is a professor at the
University of Glasgow
The University of Glasgow (abbreviated as ''Glas.'' in Post-nominal letters, post-nominals; ) is a Public university, public research university in Glasgow, Scotland. Founded by papal bull in , it is the List of oldest universities in continuous ...
,
Scotland
Scotland is a Countries of the United Kingdom, country that is part of the United Kingdom. It contains nearly one-third of the United Kingdom's land area, consisting of the northern part of the island of Great Britain and more than 790 adjac ...
. With
Peter Mosses he developed
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 language
A programming language is a system of notation for writing computer programs.
Programming languages are described in terms of their Syntax (programming languages), syntax (form) and semantics (computer science), semantics (meaning), usually def ...
s 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