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