Area: Mathematical Logic & Complexity Theory

URF Project:

My research is supported by the Royal Society University Research Fellowship
under the project "Proof Complexity and Circuit Complexity: a Unified Approach."

Research Team:

Erfan Khaniki (postdoc, from June 2024)

Bruno Cavalar (postdoc, expected to start in July 2024)

Undergraduates:

If you are interested in a summer internship on logic and complexity, contact me.