Окончил механико-математический факультет МГУ (1969 г). Заведующий кафедрой математической кибернетики ВМК МГУ с 1998 года. 

Основные научные результаты относятся к теории дискретных функций и сложности алгоритмов.

Научные интересы: сложность алгоритмов, квантовые алгоритмы, теория функциональных систем, оценки количества дискретных функций.

Член экспертного совета ВАК РФ.

Заслуженный профессор Московского университета (2007).