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