Area: Mathematical Logic & Complexity Theory

URF & ERC Project:

My research is supported by the Royal Society University Research Fellowship
and the ERC Consolidator Grant (The ERC project is to be started).

Research Team:

Erfan Khaniki (postdoc, from June 2024) - Awarded Sacks Prize in Feb 2025

Bruno Cavalar (postdoc, July 2024 - July 2025) - Resolved the monotone complexity of matching in Jul 2025

- Works with R.Santhanam (Oxford) since Aug 2025

- Received a 3-year EPSRC fellowship in Nov 2025

Undergraduates:

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