Фёдор Парт

Фёдор Парт


Исследовательские группы

Биография

В 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

Подробнее