Соловьёв, Валерий Дмитриевич
Валерий Дмитриевич Соловьёв | |
Дата рождения: | 1952 г. |
Валерий Дмитриевич Соловьёв (род. 1952, Казань) — российский математик и лингвист, профессор (1999), доктор физико-математических наук. Работы по математической логике, теории программирования, когнитивной лингвистике, типологии языков, базам данных в лингвистике, корпусной лингвистике; активная научно-организационная деятельность.
Окончил Казанский университет (1974). Докторская диссератция на тему «Функциональные системы рекурсивных функций и предикатов с сильными программными средствами замыкания» (Москва, 1996). Работает в Казанском университете; зав. лабораторией когнитивных наук и зам. директора Института информатики КГУ. Главный редактор электронного журнала «Web journal of formal, computational and cognitive linguistics». Организатор большого числа российских и международных конференций по когнитивной лингвистике и по применению новых информационных технологий в исследовании русского языка.
Увлекается японской игрой го, призёр ряда чемпионатов Европы по го.
Опубликована монография: В.Д. Соловьёв. Абстрактная теория вычислимости: программистский подход. Казань: Изд-во Казан. ун-та, 1993. ISBN 5-7464-1072-1