Leonid Libkin Professor, University of Edinburgh, School of Informatics, Laboratory for Foundations of Computer Science Researcher, Query Languages, Relational AI Professor, Département d'Informatique, Ecole normale supérieure, Paris, France Email: l @ libk . in

Research Interests

• Databases: query languages, relational and graph data, incomplete information, data integration and exchange, integrity constraints, etc.
• Logic in computer science, finite model theory, automata theory
• In the past: lattice theory, with some applications to programming semantics.