Российский математик и лингвист, профессор (1999), доктор физико-математических наук. Опубликовал работы по математической логике, теории программирования, когнитивной лингвистике, типологии языков, базам данных в лингвистике, корпусной лингвистике.
Окончил Казанский университет (1974). Работает в Казанском университете, заведующий лабораторией когнитивных наук. Главный редактор электронного журнала «Web journal of formal, computational and cognitive linguistics». Организатор большого числа российских и международных конференций по когнитивной лингвистике и по применению новых информационных технологий в исследовании русского языка.
Увлекается японской игрой го, призер ряда чемпионатов Европы по го.
Дата рождения: 1952 г.