City: Test Saint Petersburg Novosibirsk Kazan Language: Русский English

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

ПОМИ РАН, СПбАУ РАН

Кандидат физико-математических наук, старший научный сотрудник лаборатории математической логики ПОМИ РАН, преподаватель в Академическом университете.

Личная страница: http://logic.pdmi.ras.ru/~dmitrits/

Научные интересы: сложность вычислений, математическая логика, криптография, сложность доказательств.

Course Offerings

Course Semester
Introduction to Theoretical Computer Science autumn 2020
Propositional proof complexity autumn 2019
Дмитрий Михайлович Ицыксон