Dawar, Anuj
University of Cambridge - Applications of logic to computing, finite model theory, computational complexity.

No queries for www.cl.cam.ac.uk/~ad260