Speaker
Adam Ó Conghaile
Adam Ó Conghaile is a third-year PhD student at the University of Cambridge, studying finite model theory through a compositional lens under Prof. Anuj Dawar. His work focuses on the category-theoretic structures which lurk just below the surface of finite model theory. His first paper, Game Comonad & Generalised Quantifiers, joint with Anuj Dawar, has just been published at CSL 2021.