David Watt (computer scientist)

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".

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.