Фёдор Парт
Исследовательские группы
Биография
В 2011 году окончил магистратуру Санкт-Петербургского Академического Университета.
Степень PhD получена в Лондонском Университете. Предметная область диссертации: сложность вычислений, сложность доказательств, ограниченная арифметика. Заголовок диссертации: "Сложность считающих пропозициональных доказательств: резолюции с линейными уравнениями и полуалгебраические доказательства".
Научные интересы: сложность вычислений, математическая логика, теория представлений и квантовые группы.
Кроме JetBrains работает в Математическом Институте Чешской Академии Наук в Праге.
Публикации
Resolution with Counting: Dag-Like Lower Bounds and Different Moduli
January 2020
Fedor Part and Iddo Tzameret
11th Innovations in Theoretical Computer Science Conference (ITCS) 2020