В 1972 году окончил механико-математический факультет МГУ имени
М. В. Ломоносова.
С 1975 года − кандидат физико-математических наук.
С 2004 года − доктор физико-математических наук.
Академик РАН, академик РАО.
В 1972–1984 годах – преподаватель МГУ, продолжает работу до настоящего времени.
В 1984–1993 годах – руководитель лаборатории научного совета по комплексной проблеме «Кибернетика» РАН, Института проблем кибернетики РАН, Вычислительный центр имени
А. А. Дородницына РАН, продолжает работу до настоящего времени.
С 1993 года по настоящее время – ректор Московского института открытого образования, основная задача которого – дополнительное образование московских учителей.
Основные труды в области математической логики и теории алгоритмов, информатизации общего образования.
Автор ряда учебников, в частности – член авторских коллективов первого российского учебника по информатике, учебников по математике и информатике для начальной школы.