Санкт-Петербург, 199178, Россия, 14-ая линия Васильевского острова, дом 29
(812) 363-68-71, (812) 363-68-72
ru en
Ицыксон Дмитрий Михайлович
Ицыксон Дмитрий Михайлович
Доцент
Контакты:

14-ая линия Васильевского острова, дом 29, Санкт-Петербург, 199178, Россия

dmitrits@pdmi.ras.ru

https://logic.pdmi.ras.ru/~dmitrits/

Приёмные часы:

По предварительной договорённости


Образование

12.2009 — к.ф.-м.н. (по специальности «математическая логика, алгебра и теория чисел»)
Место защиты: Санкт-Петербургский государственный университет
Название диссертации: Сложность в среднем случае вероятностных вычислений с ограниченной ошибкой
Научные руководители: Э.А. Гирш

06.2006 — специалист математик-программист
Место защиты: Санкт-Петербургский государственный университет


Опыт работы

2018 — н.в. Санк-Петербургский университет, доцент

2009 – н.в. ПОМИ РАН, ведущий научный сотрудник

2008 – 2019 СПбАУ РАН, доцент


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

Основные работы относятся к области теории сложности вычислений и сложности доказательств.


Избранные публикации

  1. Sam Buss, Dmitry Itsykson, Alexander Knop, Dmitry Sokolov. Reordering rule makes OBDD proof systems stronger (2018). In Proceedings of CCC 2018. LIPIcs. Leibniz Int. Proc. Inform., 102 16:1-16:24.
  2. Dmitry Itsykson and Dmitry Sokolov. Lower bounds for splittings by linear combinations (2014).. In Proceedings of MFCS-2014, LNCS 8635: 372-383.
  3. Edward A. Hirsch , Dmitry Itsykson, Ivan Monakhov and Alexander Smal. (2012) On optimal heuristic randomized semidecision procedures, with application to proof complexity and cryptography. . Theory of Computing Systems 51:179-195
  4. Dmitry M. Itsykson. Structural complexity of AvgBPP (2010). Annals of Pure and Applied Logic, 162(3): 213-223.
  5. M. Alekhnovich, E. A. Hirsch, D. Itsykson. Exponential lower bounds for the running time of DPLL algorithms on satisfiable formulas (2005). ). Journal of Automated Reasoning 35: 51-72.