Talks and Presentations

Provability of the Circuit Size Hierarchy

• Proof Complexity Workshop
  University of Oxford, 3-5 September 2024

• British Logic Colloquium
  University of Birmingham, 5-7 September 2024

• Innovations in Theoretical Computer Science (ITCS) 2025
  Columbia University, 7-10 January 2025 [Video]

Nonlocal Games and Verification of Quantum Computation

• Quantum Computing Guest Lecture
  University of Warwick, 11 March 2025

Metacomplexity Reading Group (Webpage)

University of Warwick, Term 1, 2024-25

• NP-hardness of MINKT* (based on [Hir22])[Notes]
• Meta-mathematics of proof complexity (based on [KP89] and [Oli24])\

Metamathematics of Computational Complexity Theory

• Warwick Postgraduate Colloquium in Computer Science (WPCCS) 2024 University of Warwick, 19 March 2025