1991дек07 Член-корреспондент по Секции математики, механики, информатики (математика)

2000май25 Академик РАН

1956Математический институт им. В.А. Стеклова РАН младший, старший научный сотрудник, заведующий отделом математической логики

1965Московский государственный университет им. М.В. Ломоносова профессор

с. Кущи Азербайджанской ССР

Специалист в области математической логики, теории алгоритмов и их приложений к алгебре.