Home page
Home page
Home page
Russian page
English page
Math-Net.Ru | MMS | Web of Science | Scopus | MathSciNet | zbMATH | Web-mail 

   
 About the Institute
 Staff publications
 Administration
 Academic Council
 Dissertation Councils
 Departments
Staff 
 Chair at MIPT
 Seminars
 Conferences
 Events
 Journals and Books
 In memoriam
 Photogallery
 Charter


    Address
8 Gubkina St. Moscow,
119991, Russia
Tel.: +7(495) 984 81 41
Fax: +7(495) 984 81 39
Web site: www.mi-ras.ru
E-mail: steklov@mi-ras.ru

View Map
Directions

   

Department of Mathematical Logic

| Seminars | Publications |
Staff
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.
Beklemishev Lev Dmitrievich
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.
Kuznetsov Stepan L'vovich
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.
Podolskii  Vladimir  Vladimirovich
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., 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.
Speranski Stanislav Olegovich
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.
Top
Seminars
"Algorithmic problems in algebra and logic" (S.I.Adian seminar)
Steklov Mathematical Institute
"Geometric group theory"
Seminar organizers: I. G. Lysenok; A. L. Talambutsa
Seminars "Proof Theory" and "Logic Online Seminar"
Seminar organizer: L. D. Beklemishev
Steklov Mathematical Institute (8 Gubkina), room 530 + Zoom
List of publications
Home page

© Steklov Mathematical Institute of RAS, 2004–2022