Дэвид Ватт | |
---|---|
Родился | (1946-11-05) 5 ноября 1946 (возраст 73) |
Национальность | Британец |
Научная карьера | |
Филдс | Компьютер Наука |
Учреждения | Университет Глазго |
Дэвид Энтони Уотт (родился 5 ноября 1946 г.) - британский ученый-компьютерщик.
Ватт - профессор Университета Глазго, Шотландия. Вместе с Питером Моссесом он разработал семантику действия, комбинацию денотационной семантики, операционной и алгебраической семантики. В настоящее время он преподает третий курс языков программирования и аспирантуру по алгоритмам и структурам данных. [1] Его узнают в университетском городке по более формальной одежде по сравнению с обычным повседневным дресс-кодом факультета.
.