Выпускник МГПИ им. Ленина (ныне МПГУ). Закончил в 1952 году. Ученый-математик, академик РАН, доктор физико-математических наук.
Родился 1 января 1931 года. После школы поступил в Ереванский русский пединститут им. Брюсова, после первого курса вместе с группой лучших студентов был направлен на учёбу в Москву, в МГПИ.
В дальнейшем работал заведующим отделом математической логики Института математики им. Стеклова, с 1965 года – преподаватель на кафедре логики механико-математического факультета МГУ. В 1968 году стал одним из авторов отрицательного решения проблемы Бернсайда в теории групп. Создатель научной школы в области алгоритмических вопросов алгебры и логики.
С 1991 года – член-корреспондент РАН (секция математики, механики, информатики), с 2000 года – академик РАН.
