СВОДНЫЙ ЭЛЕКТРОННЫЙ КАТАЛОГ БИБЛИОТЕК БЕЛАРУСИ	История поисков

Справка

    Кандидат физико-математических наук (2009). Старший научный сотрудник лаборатории математической логики Санкт-Петербургского отделения Математического института им. В. А. Стеклова РАН (ПОМИ РАН), преподаватель Санкт-Петербургского Академического университета им. Ж. И. Алферова РАН (АУ РАН) (информ. 2022 г.).
    Область научных интересов: сложность вычислений; математическая логика; криптография; сложность доказательств.
    15 июня 2022 г. защита диссертации на соискание ученой степени доктора физико-математических наук по специальности "01.01.06 – Математическая логика, алгебра и теория чисел".

        Источники информации
    Нижние оценки и вопросы оптимальности для систем доказательств : автореферат диссертации ... доктора физико-математических наук : 01.01.06 / Ицыксон Дмитрий Михайлович. — Санкт-Петербург, 2022.
    Научная электронная библиотека «eLIBRARY.RU». Дата обращения: 07.07.2022.
    Сайт "Computer Science Center". Дата обращения: 07.07.2022.