skip to content

Department of Computer Science and Technology

  • 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.

Publications

A. Ó Conghaile and A. Dawar, Game Comonads & Generalised Quantifiers29th EACSL Annual COnference on Computer Science Logic (CSL 2021)

Contact Details

Room: 
FE21
Office phone: 
(01223) 7-63783
Email: 

ac891@cam.ac.uk