David Watt (computer scientist)

This biography of a living person needs additional citations for verification. Please help by adding reliable sources. Contentious material about living persons that is unsourced or poorly sourced must be removed immediately from the article and its talk page, especially if potentially libelous. Find sources: "David Watt" computer scientist – news · newspapers · books · scholar · JSTOR (July 2014) (Learn how and when to remove this template message)

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

External links

• Home page

This article on a computer specialist of the United Kingdom is a stub. You can help Wikipedia by expanding it.

• v
• t
• e

This formal methods-related article is a stub. You can help Wikipedia by expanding it.

• v
• t
• e