- PhD Student
I am a third-year PhD studying logic and games under Prof. Anuj Dawar. My work focuses on the category-theoretic structures which lurk just below the surface of the Spoiler-Duplicator games commonly used in finite model theory. You can read an introduction to this area in my first-year report and for a comprehensive list of the latest work, check out this wiki.
You can find a list of some of my mathematical writings here and a list of courses I supervise(d) here.
Themes
Publications
A. Ó Conghaile and A. Dawar, Game Comonads & Generalised Quantifiers, 29th EACSL Annual COnference on Computer Science Logic (CSL 2021)