13 октября 1950 г.
Советский и российский учёный-математик. Заслуженный работник высшей школы РФ. Родился в Москве. В 1972 году окончил мехмат МГУ. Остался в аспирантуре на кафедре математической логики (научный руководитель - А.А. Мучник). Кандидат физико-математических наук (1975, диссертация «Об определимости в некоторых разрешимых теориях»), доктор физико-математических наук (1984, диссертация «Логические теории одноместных функций на натуральном ряде», защищена в МИАН им. В.А. Стеклова). Специалист в области математической логики, кибернетики, теоретической информатики, образования. Наряду с научной, вёл педагогическую работу: сначала преподавал в своей бывшей школе, затем - в колмогоровском интернате при МГУ и на кафедре математической логики МГУ. Профессор (1998). В 1993-2013 годах - ректор Московского института открытого образования. В 2013-2016 годах - ректор Московского педагогического государственного университета. С 2018 года - заведующий кафедрой математической логики и теории алгоритмов механико-математического факультета МГУ им. М.В. Ломоносова. С 2015 года - директор Института кибернетики и образовательной информатики им. А.И. Берга ФИЦ ИУ РАН. С 2021 года - главный редактор журнала «Доклады Российской академии наук. Математика, информатика, процессы управления». Действительный член Российской академии наук по отделению математических наук с 2011 года, академик Российской академии образования с 2010 года. Автор более 400 научных трудов по математике, информатике и образованию.
