Беклемишев Лев Дмитриевич
       
доктор физ.-матем. наук, академик РАН, заведующий отделом, главный научный сотрудник
комн.: 515; тел.: +7 (495) 984 81 41 * 37 44;
e-mail: bekl@mi-ras.ru
Основные направления исследований:
Теория доказательств, формальная арифметика.
|
 |
Ван Вэньхао
PhD, научный сотрудник
комн.: 208;
e-mail: wenhaowang@mi-ras.ru
|
|
Кузнецов Степан Львович
кандидат физ.-матем. наук, старший научный сотрудник
комн.: 515; тел.: +7 (495) 984 81 41 * 37 44;
e-mail: sk@mi-ras.ru
Персональная страница: https://homepage.mi-ras.ru/~sk/
Основные направления исследований:
Теория доказательств, субструктурные логики, звёздочка Клини.
|
 |
Лысенок Игорь Геронтьевич
доктор физ.-матем. наук, ведущий научный сотрудник
комн.: 507; тел.: +7 (495) 984 81 41 * 37 52;
e-mail: lysionok@mi-ras.ru
Основные направления исследований:
Комбинаторная теория групп, алгоритмические вопросы теории групп.
|
|
Пахомов Федор Николаевич
кандидат физ.-матем. наук, старший научный сотрудник
e-mail: pakhfn@gmail.com
Основные направления исследований:
Теория доказательств, модальная логика, проблемы разрешимости.
|
|
Подольский Владимир Владимирович
доктор физ.-матем. наук, ведущий научный сотрудник
комн.: 506; тел.: +7 (495) 984 81 41 * 37 46;
e-mail: podolskii@mi-ras.ru
Персональная страница: https://homepage.mi-ras.ru/~podolskii/
Основные направления исследований:
Теория сложности вычислений.
|
 |
Разборов Александр Александрович
доктор физ.-матем. наук, член-корр. РАН, главный научный сотрудник
комн.: 506; тел.: +7 (495) 984 81 41 * 37 46;
e-mail: razborov@mi-ras.ru
Персональная страница: https://homepage.mi-ras.ru/~razborov/
Основные направления исследований:
Теория сложности вычислений.
|
|
Сперанский Станислав Олегович
кандидат физ.-матем. наук, научный сотрудник
комн.: 508;
e-mail: katze.tail@gmail.com
Персональная страница: https://homepage.mi-ras.ru/~speranski
Основные направления исследований:
вероятностная логика, модальная логика, теория вычислимости.
|
 |
Таламбуца Алексей Леонидович
кандидат физ.-матем. наук, научный сотрудник
комн.: 507; тел.: +7 (495) 984 81 41 * 37 52;
e-mail: altal@mi-ras.ru
Основные направления исследований:
Комбинаторная теория групп, алгоритмические вопросы теории групп и полугрупп.
|
|
Шамканов Данияр Салкарбекович
кандидат физ.-матем. наук, старший научный сотрудник
комн.: 515; тел.: +7 (495) 984 81 43;
e-mail: daniyar.shamkanov@gmail.com
Основные направления исследований:
Теория доказательств, комбинаторная логика, неклассические логики.
|
|
Адян Сергей Иванович (01.01.1931 – 05.05.2020)
доктор физ.-матем. наук, академик РАН
Основные направления исследований:
Алгоритмические вопросы алгебры, теория полугрупп, теория групп.
|
|
Маканин Геннадий Семенович (19.05.1938 – 18.05.2017)
доктор физ.-матем. наук, внештатный сотрудник
Основные направления исследований:
Комбинаторная теория групп, алгоритмические вопросы теории полугрупп.
|
|
Посмотреть карту
Наверх
Публикации сотрудников отдела
Список публикаций
