Separations in Proof Complexity and TFNP
Mika Göös, Alexandros Hollender, Siddhartha Jain, Gilbert Maystre, William Pires, Robert Robere, Ran Tao.
FOCS 2022. [ECCC]
Journal of the ACM (2024). [ACM DL]
McGill University / Computer Science
Associate Professor · Computational Complexity · Proof Complexity
Mika Göös, Alexandros Hollender, Siddhartha Jain, Gilbert Maystre, William Pires, Robert Robere, Ran Tao.
FOCS 2022. [ECCC]
Journal of the ACM (2024). [ACM DL]