2022
Cohomology in Constraint Satisfaction and Structure IsomorphismMathematical Foundations of Computer Science (MFCS), August 2022
Cohomological k-consistency
Pre-print, January 2022
2021
Game Comonads & Generalised Quantifiers(joint with Anuj Dawar)
Computer Science Logic (CSL), January 2021
Innovation vs. Privacy: tech’s false dichotomy
Cambridge Journal of Science and Policy (CJSP), 2021
2020
Second Year ReportSeptember 2020
Game Comonads & Generalised Quantifiers
(an extended version of the CSL paper of the same name)
arXiv cs.LO, June 2020
2019
Total Maps of Turing Categories(joint with Diego Roque)
n-Category Café, November 2019
First Year Report
September 2019
Talks
Cohomology and pebble games
3rd Workshop on Resources and co-resources in finite model theory, Cambridge, March 2022
Categorical tools for Descriptive Complexity Theory
Seminar 21461 on Descriptive Set Theory and Computable Topology, Schloss Dagstuhl, November 2021
Extending FO logic with topology
2nd Workshop on Resources and co-resources in finite model theory, Oxford, September 2022
Partition games, compositionally
37th British Colloquium for Theoretical Computer Science, Liverpool, March 2021
Games and comonads in Finite Model Theory
Computer Science Theory Seminar, Swansea, February 2021
Topology and query languages
Engage@Turing Student Presentations, Alan Turing Institute (video), February 2021
Games comonads and generalised quantifiers
29th EACSL Conference on Computer Science Logic (CSL 2021), Ljubljana, January 2021
Game comonads: a new language for complexity theory
A presentation for companies and a general CS audience, online, January 2021
Game comonads and generalised quantifiers
21st International Workshop on Logic and Computational Complexity, Saarbrücken, July 2020
Game comonads and generalised quantifiers
36th British Colloquium for Theoretical Computer Science, Swansea, April 2020
Game comonads and generalised quantifiers
1st Workshop on Resources and co-resources in finite model theory, Oxford, March 2020
k-Cores for Game Comonads
Workshop on Contextuality as a resource in quantum computation, July 2019