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
- Depth-d Frege systems are not automatable unless P=NP
Preprint, 2023
pdf
- A super-polynomial separation between resolution and cut-free sequent calculus
Mathematical Foundations of Computer Science, 2023
pdf
- 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