Leonid Libkin is a computer scientist who works in data management, in particular in database theory, and in logic in computer science.