News
| Jun 16, 2026 | Looking forward to this year’s Proof Complexity Workshop in Bath, where I will be giving a talk on Lower Bounds in Algebraic Complexity via Symmetry and Homomorphism Polynomials. |
|---|---|
| | |
| Apr 13, 2026 | In spring I will be attending the Durham Symposium on the Mathematics of Constraint Satisfaction Problems. |
| | |
| Mar 30, 2026 | At BCTCS 2026 in Birmingham, I will be giving a talk about Lower Bounds in Algebraic Complexity via Symmetry and Homomorphism Polynomials. |
| | |
| Feb 23, 2026 | Upcoming trip to Paris for CSL 2026. I’ll be speaking about Arity hierarchies for quantifiers closed under partial polymorphisms, my new paper together with Anuj Dawar and Lauri Hella that explores a new perspective on finite model theory inspired by methods from the world of constraint satisfaction (CSP). |
| | |
| Jan 27, 2026 | Excited for ITCS 2026 in Milan featuring our new paper Symmetric Algebraic Circuits and Homomorphism Polynomials with Anuj Dawar and Tim Seppelt. We give a surprising graph-theoretic characterisation of all polynomials computable by efficient symmetric circuits. Check out our video talk! |
| | |