Виталий Алексеевич Тузов (21 января 1937 — 4 июля 2007) — доктор физико-математических наук, профессор кафедры технологии программирования Санкт-Петербургского государственного университета.
В 1959 окончил Математико-механический факультет ЛГУ. В 1969 защитил кандидатскую диссертацию «Преобразование операторных граф-схем», в 1989 докторскую диссертацию «Математическая модель языка».
С 1959 по 1963 — научный сотрудник Ленинградского отделения математического института им. В.А. Стеклова (ЛОМИ). С 1963 по 1976 -научный сотрудник Ленинградского отделение Центрального Экономико-математического института АН СССР. С 1971 по1990 — доцент Факультета ПМ-ПУ. 1990 по 2007 — профессор Факультета ПМ-ПУ. С1991 по 1995 — зав. лабораторией функциональных методов программирования НИИ ВМ и ПУ.
Преподавательская деятельность: Компьютерная лингвистика, специальный курс; Новые технологии программирования.
Области научных интересов: Методы формализации и точного описания искусственных и естественных языков. В исследованиях особое внимание уделяется сложнейшей проблеме описания семантики языка.
Основные научные достижения: На основании предложенных функциональных грамматик был построен метаязык и дано точное и адекватное описание таких языков, как Алгол-68, Лисп, Рефал.
Решены две основные проблемы компьютерной лингвистики: построение семантического языка, адекватного естественному языку, и перевод с русского языка на семантический. Полученные результаты позволяют решать принципиальные проблемы искусственного интеллекта, машинного перевода, представления знаний, создания экспертных и обучающих систем.
Результаты теоретических исследований опубликованы в монографиях и учебных пособиях.
