David Anthony Watt (born 5 November 1946) is a British computer scientist.
Watt is a professor at the
University of Glasgow
, image = UofG Coat of Arms.png
, image_size = 150px
, caption = Coat of arms
Flag
, latin_name = Universitas Glasguensis
, motto = la, Via, Veritas, Vita
, ...
,
Scotland
Scotland (, ) is a Countries of the United Kingdom, country that is part of the United Kingdom. Covering the northern third of the island of Great Britain, mainland Scotland has a Anglo-Scottish border, border with England to the southeast ...
. With
Peter Mosses he developed
action semantics, a combination of
denotational semantics,
operational
An operational definition specifies concrete, replicable procedures designed to represent a construct. In the words of American psychologist S.S. Stevens (1935), "An operation is the performance which we execute in order to make known a concept." F ...
and
algebraic semantics. He currently teaches a third year
programming language
A programming language is a system of notation for writing computer programs. Most programming languages are text-based formal languages, but they may also be graphical. They are a kind of computer language.
The description of a programming ...
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