David Watt (computer scientist)
Jump to navigation
Jump to search
David Watt | |
---|---|
Born | 5 November 1946 |
Nationality | British |
Scientific career | |
Fields | Computer Science |
Institutions | University of Glasgow |
David Anthony Watt (born 5 November 1946[1]) is a British computer scientist.
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
- ^ Date information sourced from Library of Congress Authorities data, via corresponding WorldCat Identities linked authority file (LAF).
- ^ "David Watt's Home Page".
External links
Categories:
- Articles with short description
- Short description matches Wikidata
- Use dmy dates from October 2020
- Use British English from September 2017
- BLP articles lacking sources from July 2014
- All BLP articles lacking sources
- Articles with hCards
- All articles with unsourced statements
- Articles with unsourced statements from July 2014
- Articles with ISNI identifiers
- Articles with VIAF identifiers
- Articles with WorldCat Entities identifiers
- Articles with BNF identifiers
- Articles with BNFdata identifiers
- Articles with CANTICN identifiers
- Articles with GND identifiers
- Articles with J9U identifiers
- Articles with KBR identifiers
- Articles with LCCN identifiers
- Articles with Libris identifiers
- Articles with NTA identifiers
- Articles with PLWABN identifiers
- Articles with PortugalA identifiers
- Articles with DBLP identifiers
- Articles with SNAC-ID identifiers
- Articles with SUDOC identifiers
- 1946 births
- Living people
- British computer scientists
- Academics of the University of Glasgow
- Formal methods people
- Place of birth missing (living people)
- All stub articles
- British computer specialist stubs
- Formal methods stubs