Окончил факультет вычислительной математики и кибернетики МГУ (1975).

Кандидат физико-математических наук (1980), тема диссертации «Об одной мере сложности схем из функциональных элементов». Доктор физико-математических наук (1996), тема диссертации «О синтезе некоторых классов управляющих систем, связанных с неявными и параметрическими представлениями булевых функций».

Профессор (2005). Возглавил кафедру дискретной математики механико-математического факультета МГУ (2006).