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