Leonid Libkin | |
---|---|
Institutions |
University of Edinburgh University of Toronto Bell Labs |
Alma mater | University of Pennsylvania |
Thesis | Aspects of Partial Information in Databases (1994) |
Doctoral advisor | Peter Buneman |
Doctoral students | Marcelo Arenas, Pablo Barceló, Solmaz Kolahi, Shunichi Amano, Anthony Widjaja Lin, Juan Reutter, Domagoj Vrgoč |
Notable awards |
Royal Society Wolfson Research Merit Award |
Website homepages |
Royal Society Wolfson Research Merit Award
Academia Europaea
FRSE
FACM
Leonid Libkin is a computer scientist who works in database theory, logic in computer science, and finite model theory.
Libkin is a Professor at the University of Edinburgh, where he holds the chair of Foundations of Data Management in the School of Informatics. He previously worked at the University of Toronto and Bell Labs.
Libkin is the author of a standard textbook on finite model theory. He is an ACM Fellow, a Fellow of the Royal Society of Edinburgh, and a member of Academia Europaea.