Кандидат физико-математических наук (1969), доцент кафедры математики, логики и интеллектуальных систем в гуманитарной сфере Института лингвистики РГГУ. Старший научный сотрудник Института прикладной математики им. М.В. Келдыша РАН.
Область научных интересов и сфера научной деятельности:
Область научных интересов - применение математической логики к программированию и теории баз данных; сложность вычислений; мультиагентные системы; распределенные вычисления.
Научно-педагогическая деятельность:
В РГГУ с 2005 года. Читает курсы лекций «Программирование», «Математическая лингвистика», «Математическая логика».
Автор более 40 работ.