Skip to content

McGill University / Computer Science

Associate Professor · Computational Complexity · Proof Complexity

about advising research lab teaching fun news

← all research papers

Res(log) Proves Bounded-Depth Frege Lower Bounds

Ben Davis, Robert Robere

Manuscript 2026. [ECCC]

Robert Robere · McGill University Back to top ↑