Leonid Libkin Email: l @ libk . in This version is likely to be updated more regularly

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.