I am a PhD student at the Computer Lab
of the University of Cambridge. With my supervisor, Prof Anuj Dawar
, I'm researching a compositional approach to finite model theory and descriptive complexity.
If you're interested in learning a bit about finite model theory or want to know what research I've been up to lately the following report
includes an introduction to the literature and my thoughts on where the field (and my research) are going. More to follow on this soon...