Beklemishev Lev Dmitrievich
       
Doctor Phys.-Math. Sci., Academician of RAS, Head of Department, Chief Scientific Researcher
office: 515; tel.: +7 (495) 984 81 41 * 37 44; e-mail: bekl@mi-ras.ru
Principal fields of research:
Mathematical logic. Proof theory. Provability logic. Modal logic. Fragments of arithmetic.
|
 |
Kuznetsov Stepan L'vovich
Candidate Phys.-Math. Sci., Senior Scientific Researcher
office: 515; tel.: +7 (495) 984 81 41 * 37 44; e-mail: sk@mi-ras.ru
Personal page: https://homepage.mi-ras.ru/~sk/
Principal fields of research:
Proof theory, substructural logics, Kleene star.
|
 |
Lysenok Igor Geront'evich
Doctor Phys.-Math. Sci., Leading Scientific Researcher
office: 507; tel.: +7 (495) 984 81 41 * 37 52; e-mail: lysionok@mi-ras.ru
Principal fields of research:
Combinatorial group theory. Algorithmic problems of group theory.
|
|
Pakhomov Fedor Nikolaevich
Candidate Phys.-Math. Sci., Senior Scientific Researcher
e-mail: pakhfn@gmail.com
Principal fields of research:
Proof theory, modal logic, decision problems.
|
|
Podolskii Vladimir Vladimirovich
Doctor Phys.-Math. Sci., Leading Scientific Researcher
office: 506; tel.: +7 (495) 984 81 41 * 37 46; e-mail: podolskii@mi-ras.ru
Personal page: https://homepage.mi-ras.ru/~podolskii/
Principal fields of research:
Computational complexity theory.
|
 |
Razborov Aleksandr Aleksandrovich
Doctor Phys.-Math. Sci., Corresponding Member of RAS, Chief Scientific Researcher
office: 506; tel.: +7 (495) 984 81 41 * 37 46; e-mail: razborov@mi-ras.ru
Personal page: https://homepage.mi-ras.ru/~razborov/
Principal fields of research:
Complexity of proofs and computations.
|
|
Shamkanov Daniyar Salkarbekovich
Candidate Phys.-Math. Sci., Scientific Researcher, Senior Scientific Researcher
office: 515; tel.: +7 (495) 984 81 43; e-mail: daniyar.shamkanov@gmail.com
Principal fields of research:
Proof theory. Nonclassical logics. Combinatory logic.
|
|
Speranski Stanislav Olegovich
Candidate Phys.-Math. Sci., Senior Scientific Researcher
office: 508; e-mail: katze.tail@gmail.com
Personal page: https://homepage.mi-ras.ru/~speranski
Principal fields of research:
probability logic, modal logic, computability theory.
|
 |
Talambutsa Alexey Leonidovich
Candidate Phys.-Math. Sci., Scientific Researcher
office: 507; tel.: +7 (495) 984 81 41 * 37 52; e-mail: altal@mi-ras.ru
Principal fields of research:
Combinatorial group theory. Algorithmic problems for groups and semigroups.
|
|
Wang Wenhao
PhD, Scientific Researcher
office: 208; e-mail: wenhaowang@mi-ras.ru
|
|
|
Adian Sergei Ivanovich (01.01.1931 – 05.05.2020)
Doctor Phys.-Math. Sci., Academician of RAS
Principal fields of research:
Algorithmic problems in algebras. Semigroups theory. Groups theory.
|
|
Makanin Gennadii Semenovich (19.05.1938 – 18.05.2017)
Doctor Phys.-Math. Sci., Out-Of-Staff Member
Principal fields of research:
Combinatorial group theory. Algorithmic problems of semigropus theory.
|
|
View Map
Top
List of publications
List of publications
