Беклемишев Лев Дмитриевич  доктор физ.-матем. наук, академик РАН, заведующий отделом, главный научный сотрудник
комн.: 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) доктор физ.-матем. наук, внештатный сотрудник
Основные направления исследований:
Комбинаторная теория групп, алгоритмические вопросы теории полугрупп.
|
|