Окончил механико-математический факультет Казанского университета (1966).
В 1971 году защитил кандидатскую диссертацию, а в 1988 году — докторскую.Основатель и руководитель научной школы по математической логике, получившей международное признание. Им получены крупные результаты в теории вычислимости, в частности, в исследовании алгебраической структуры упорядочения степеней неразрешимости (англ.) и в разработке иерархической структуры вычислимых функций. Широкое распространение получили разработанные им критерии полных в соответствующем уровне арифметической иерархии (англ.) классов арифметических множеств, известные в литературе как критерии полноты Арсланова.