skip to content

Department of Computer Science and Technology

  • Research Staff

I am a Postdoctoral Research Associate in the Logics and Algorithms group led by Anuj Dawar, and at Robinson College. My research revolves around various topics in logic and complexity theory, often related to the notion of symmetry.

For more information, see my website.

Research

Descriptive Complexity

Finite Model Theory

Proof Complexity

Constraint Satisfaction Problems

Algebraic Complexity

Teaching

Course "The quest for a logic for polynomial time", held at the summer school ESSLLI 2025 in Bochum

Lecture 1: What is a logic for polynomial time?
Lecture 2: Fixed-point logics
Lecture 3: The Cai-Fürer-Immerman construction
Lecture 4: Linear-algebraic logics
Lecture 5: Choiceless Polynomial Time

 

Contact Details

Room: 
FE21
Office address: 
William Gates Building, 15 JJ Thomson Avenue, Cambridge CB3 0FD
Email: 

btp26@cam.ac.uk