Leonid Libkin
Leonid Libkin is a computer scientist who works in data management, in particular in database theory, and in logic in computer science.
Libkin is a professor at the University of Edinburgh, where he is chair of Foundations of Data Management in the School of Informatics, He previously worked
at Bell Labs, at the University of Toronto, and at the École Normale Supérieure in Paris.
Libkin is the author of standard textbooks on finite model theory and on data exchange.
He is an ACM Fellow,
a Fellow of the Royal Society of Edinburgh, and a member of Academia Europaea. He won best paper awards at the Symposium on Principles of Database Systems in 1999, 2003, and 2005, at International Conference on Database Theory in 2011, at the Principles of Knowledge Representation and Reasoning Conference in 2014 and 2018., at the ACM SIGMOD Conference in 2023, and a test of time award at ICDT in 2023. He was program chair of ICDT in 2005, PODS in 2007 and ACM-IEEE Symposium on Logic in Computer Science in 2021.