## Scientific Interests:- Algebra
Computability theory Complexity theory Mathematical Logic ## Membership:- American Mathematical Society (1985- )
Association of Symbolic Logic (1985- ) Member of the European Committee of the Association of Symbolic Logic (1994-1999) Member of the joint AMS-ASL Translation Committee from Russian and Eastern European Languages (1995-2003) Elected member of the State Academy of Science of Tatarstan (1995-). ## Co-editor:- Mathematical Logic Quarterly
(former: Zeitschrift fur mathematische
Logik und Grundlagen der Mathematik), 1993 -
Journal of Universal Computer Science, 1994 - Lobachevskii Journal of Mathematics, 1998 - Kazan State University Academic Proceedings (in Russian), 2004 - Asia-European Journal of Mathematics, 2007 - Russian Mathematics (Izv. VUZov. Matematica) (in Russian), 2008 - ## Ph.D. students supervised:- V.D. Solov'ev (1975-78)
V.L. Selivanov (1975-78) N.R. Bukharayev (1978-81) T.M. Kuz'mina (1980-83) Sh.T. Ishmuhametov (1979-82) E.V. Lipacheva (1987-90), jointly with A.C. Morozov A.A. Efremov (1990-93) I.Sh. Kalimullin (1999-2001) A.N. Frolov (2002-2004) I.I. Batyrshin (2006-) M. Jamaleev (2006-) M.V. Zubkov (2006-), jointly with A.N. Frolov N. Korneeva (2007-) |