Город: Тест Санкт-Петербург Новосибирск Казань Язык: Русский English

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

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

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

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

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

Прочтения курсов

Курс Семестр
Обзорный курс по теоретической информатике осень 2020
Сложность пропозициональных доказательств осень 2019
Дмитрий Михайлович Ицыксон