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
Kazan State University,
Faculty of Mechanics and Mathematics
Scientific Degrees and Ranks
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"
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
Prizes & Awards
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
Membership in Associations
since 2014, Computability in Europe
since 2002, European Mathematical Society
since 1985, American Mathematical Society
Member of Editorial Boards
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