Leonid Libkin

Leonid Libkin

Professor, University of Edinburgh, School of Informatics, Laboratory for Foundations of Computer Science
Researcher, Query Languages, Relational AI
Chaire industrielle, IRIF, Université Pairs-Cité, 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.

Books

semantics in DB

CDB book

Elements of FMT

Philly tutorials

DEbookMC

DEbook

Papers (most of them online)

Teaching

Former students and postdocs (prospective students and postdocs - please email me)

Database Theory