Professor at the School of Informatics, University of Edinburgh
Affiliated with the Laboratory for Foundations of Computer Science
Research interests include: query languages for relational and graph databases, incomplete data, constraints and database design, data integration and exchange
Active in logic in computer science, finite model theory, and automata theory
Past research includes lattice theory with applications to programming semantics