Web of Science (Researcher ID): http://www.researcherid.com/rid/D-7271-2015

Scopus (Author ID): http://www.scopus.com/authid/detail.url?authorId=7004438484

Elibrary (Author ID): http://elibrary.ru/author_items.asp?authorid=6735-2038

ORCID (ORCID ID): http://orcid.org/0000-0001-7773-8394

Google scholar: https://scholar.google.ru/citations?user=97E6sr0AAAAJ&hl=ru&oi=ao

Computability Theory, Degrees of Unsolvability, Turing Degrees, Model Theory

1961-1965

Faculty of Mechanics and Mathematics

1971, Ph.D.Thesis Entitled "On the Structure of Recursively Enumerable Sets"

1988, Sc.D. Thesis Entitled "Completeness in the Arithmetic Hierarchy and ∆-0-2 Sets"

1990, Professor

2016, Member of the Academy of Sciences of the Republic of Tatarstan

Head of the Department of Algebra and Mathematical Logic, Kazan Federal University, N.I. Lobachevsky Institute of Mathematics and Mechanics

Director of the Volga Region Scientific-Educational Centre of Mathematics , Kazan Federal University

2021, Gold Medal of the S.L. Sobolev Institute of Mathematics of the Siberian Branch of the Russian Academy of Sciences (Novosibirsk) "For Outstanding Contribution to Mathematics"

2018, Prize of the Academy of Sciences of the Republic of Tatarstan named after Kh.M. Mushtari in Mathematics, Mechanics and Engineering Sciences

2018, Professor of the Year

2014, Medal "For Labour Valour"

2010, Silver Sign of the Seminar "Algebra and Logic"

2010, Honored Professor of Kazan University

2007, Honored Worker of the Higher School of the Russian Federation

2005, Medal "In Commemoration of the 1000th Anniversary of Kazan"

1998, Honored Scientist of the Republic of Tatarstan

since 2014, Computability in Europe (Association CiE)

since 2002, European Mathematical Society (EMS)

since 1985, American Mathematical Society (AMS)

since 2008, Russian Mathematics (Izvestiya VUZ. Matematika)

since 2007, Asian-European Journal of Mathematics

since 2004, Uchenye Zapiski Kazanskogo Universiteta. Seriya Fiziko-Matematicheskie Nauki

since 1998, Lobachevskii Journal of Mathematics

since 1994, Journal of Universal Computer Science

since 1993, Mathematical Logic Quarterly

Chairman of the Dissertation Council D 212.081.24 on Mathematical logic; Algebra; Number Theory; Discrete Mathematics; Mathematical Cybernetics; Mathematical and Software Support for Computers, Complexes and Computer Networks

Leader of the Working Group of the N.I. Lobachevsky Project