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

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

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

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

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

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

Course offerings

Course Semester
Introduction to Theoretical Computer Science autumn 2007
Introduction to Theoretical Computer Science autumn 2008
Hardness vs Randomness spring 2009
Mathematical Foundations of Computer Science autumn 2009
Computability and logic autumn 2011
Probabilistic methods in computations spring 2012
Foundations of computability and complexity theory autumn 2012
Probabilistically checkable proofs autumn 2012
The computational complexity and foundations of cryptography spring 2013
Introduction to theoretical computer science autumn 2013
Foundations of computability and complexity theory autumn 2014
Probabilistic methods in computations spring 2015
Theoretical foundations of cryptography spring 2016
Introduction to theoretical computer science autumn 2016
Propositional proof complexity autumn 2017