Theodoros Papamakarios


   


I am a PhD student in the department of Computer Science, at the University of Chicago.
I am interested in complexity theory, proof complexity in particular. My advisor is Alexander Razborov.
You can contact me at: papamakarios at uchicago dot edu.

Papers

  1. Depth-d Frege systems are not automatable unless P=NP
    Preprint, 2023
    pdf
  2. A super-polynomial separation between resolution and cut-free sequent calculus
    Mathematical Foundations of Computer Science, 2023
    pdf
  3. Space characterizations of complexity measures and size-space trade-offs in propositional proof systems, joint with Alexander Razborov
    Journal of Computer and System Sciences, 2023
    Conference version published in the proceedings of ICALP, 2022
    pdf
Annotated list of papers