Leonid Libkin Professor, School of Informatics Laboratory for Foundations of Computer Science University of Edinburgh Informatics Forum, IF 5.33, Crichton Street Edinburgh, EH8 9AB, UK Email: last_name at ed . ac . uk Telephone: + 44 (0) 131 651 3816, Fax: +44 (0) 131 651 1426

Research Interests

• Databases: query languages, XML, constraints, design, data exchange, constraint databases, incremental recomputation, etc.
• Logic in computer science, finite model theory, automata theory
• In the past: lattice theory, with some applications to programming semantics.

Selected Links