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, expected to start in early 2024)

If you are interested in joining the project as a postdoctoral researcher, contact me.

Undergraduates:

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