computation complexity theory

Head:

ведущий научный сотрудник

Пономаренко Илья Николаевич

доктор ф.-м. наук

Staff:

научный сотрудник

Благушин Ярослав Вениаминович

кандидат ф.-м. наук
старший научный сотрудник

Воробьев Николай Николаевич

кандидат ф.-м. наук
ведущий научный сотрудник

Ицыксон Дмитрий Михайлович

доктор ф.-м. наук
старший научный сотрудник

Карпов Дмитрий Валерьевич

доктор ф.-м. наук
советник РАН

Матиясевич Юрий Владимирович

доктор ф.-м. наук

академик РАН
старший научный сотрудник

Николенко Сергей Игоревич

доктор ф.-м. наук
ведущий научный сотрудник

Оревков Владимир Павлович

доктор ф.-м. наук

старший научный сотрудник
научный сотрудник

Пастор Алекей Владимирович

кандидат ф.-м. наук
младший научный сотрудник

Смаль Александр Владимирович

кандидат ф.-м. наук

Страница лаборатории:

http://logic.pdmi.ras.ru

Научные интересы:

mathematical logic

discrete mathematics

computation complexity theory