David Anthony Watt (born 5 November 1946[1]) is a British computer scientist.
David Watt | |
|---|---|
| Born | 5 November 1946 |
| Nationality | British |
| Scientific career | |
| Fields | Computer Science |
| Institutions | University of Glasgow |
Watt is a professor at the University of Glasgow, Scotland. With Peter Mosses he developed action semantics, a combination of denotational semantics, operational and algebraic semantics. He currently teaches a third year programming languages course, and a postgraduate course on algorithms and data structures.[2] He is recognisable around campus for his more formal attire compared to the department's normally casual dress code.[citation needed]
References
edit- ^ Date information sourced from Library of Congress Authorities data, via corresponding WorldCat Identities linked authority file (LAF).
- ^ "David Watt's Home Page".
External links
edit
 | This article on a computer specialist of the United Kingdom is a stub. You can help Wikipedia by expanding it. |
 | This formal methods-related article is a stub. You can help Wikipedia by expanding it. |