Fedor Part

Fedor Part

Research Groups


Graduated from the Saint Petersburg Academic University in 2011. 

PhD obtained from University of London. Subject area: computational complexity, proof complexity, bounded arithmetic. Thesis title: "Complexity of Propositional Proofs with Counting: Resolution over Linear Equations and Semi-Algebraic Proofs".

Fedor's research interests include computational complexity, mathematical logic, representation theory and quantum groups.

Apart from JetBrains works at the Institute of Mathematics of Czech Academy of Sciences in Prague.


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

Read more