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