Дэвид Уотт (специалист по информатике)

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)

Дэвид Энтони Уотт (родился 5 ноября 1946 года ^[1] ) — британский учёный-компьютерщик.

Уотт — профессор Университета Глазго , Шотландия . Совместно с Питером Моссесом он разработал семантику действий , комбинацию денотационной семантики , операционной и алгебраической семантики . В настоящее время он преподает на третьем курсе языки программирования и аспирантский курс по алгоритмам и структурам данных. ^[2] Его легко узнать в кампусе по более официальной одежде по сравнению с обычным повседневным дресс-кодом кафедры. ^{[ требуется ссылка ]}

• Домашняя страница

Эта статья о специалисте по компьютерам из Соединенного Королевства — заглушка . Вы можете помочь Википедии, расширив ее.

• v
• t
• e

Эта статья о формальных методах является заглушкой . Вы можете помочь Википедии, расширив ее.

• v
• t
• e