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