Родился 01.01.1931, Кущи Азербайджанской ССР Умер 05.05.2020 Заведующий отделом - Федеральное государственное бюджетное учреждение науки Математический институт им. В. А. Стеклова Российской академии наук (Отдел математической логики) Председатель - Комиссия по вопросам преподавания математики в средней школе (Дирекция) Профессор Член-корреспондент c 07.12.1991 - Секция математики, механики, информатики (математика) Академик РАН c 26.05.2000 - (математика, в том числе вычислительная математика) Удостоен Государственной премии РФ (1999)