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

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

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

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

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

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

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

Курс Семестр
Обзорный курс по теоретической информатике осень 2020
Сложность пропозициональных доказательств осень 2017
Обзорный курс по теоретической информатике осень 2016
Теоретико-сложностные основы криптографии весна 2016
Вероятностные методы в вычислениях весна 2015
Основы вычислимости и теории сложности осень 2014
Обзорный курс по теоретической информатике осень 2013
Сложность вычислений и основы криптографии весна 2013
Вероятностно проверяемые доказательства осень 2012
Основы вычислимости и теории сложности осень 2012
Вероятностные методы в вычислениях весна 2012
Вычислимость и логика осень 2011
Дмитрий Михайлович Ицыксон