David Watt (informático)

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 message)

David Anthony Watt (nacido el 5 de noviembre de 1946 ^[1] ) es un científico informático británico.

Watt es profesor en la Universidad de Glasgow , Escocia . Junto con Peter Mosses desarrolló la semántica de acción , una combinación de semántica denotacional , semántica operacional y algebraica . Actualmente enseña un curso de lenguajes de programación de tercer año y un curso de posgrado sobre algoritmos y estructuras de datos. ^[2] Es reconocible en el campus por su vestimenta más formal en comparación con el código de vestimenta informal habitual del departamento. ^{[ cita requerida ]}

• Página de inicio

Este artículo sobre un especialista en informática del Reino Unido es un esbozo . Puedes ayudar a Wikipedia expandiéndolo.

• v
• t
• e

Este artículo relacionado con métodos formales es un esbozo . Puedes ayudar a Wikipedia expandiéndolo.

• v
• t
• e