Дэвид Ватт (ученый-компьютерщик)
 |
Дэвид Уоттс | |
|---|---|
| Рожденный | 5 ноября 1946 г. |
| Национальность | Британский |
| Научная карьера | |
| Поля | Информатика |
| Учреждения | Университет Глазго |
Дэвид Энтони Ватт (родился 5 ноября 1946 г. [1] ) — британский ученый-компьютерщик.
Уотт — профессор Университета Глазго , Шотландия . С Питером Моссесом он разработал семантику действия , комбинацию денотационной семантики , операционной и алгебраической семантики . В настоящее время он преподает третий курс языков программирования и аспирантуру по алгоритмам и структурам данных. [2] Его узнают в кампусе благодаря его более официальной одежде по сравнению с обычно повседневным дресс-кодом факультета. [ нужна ссылка ]
Ссылки [ править ]
- ^ Информация о дате получена из данных органов власти Библиотеки Конгресса через соответствующий WorldCat Identities авторитетный файл, связанный с (LAF) .
- ^ «Домашняя страница Дэвида Уотта» .
Внешние ссылки [ править ]
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Другой | |
 | Эта статья о компьютерном специалисте из Соединенного Королевства незавершена . Вы можете помочь Википедии, расширив ее . |
 | Эта формальным методам, статья, посвященная незавершена . Вы можете помочь Википедии, расширив ее . |