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 (ACM PODS) in 1999, 2003, and 2005, at International Conference on Database Theory (ICDT) in 2011, at the Principles of Knowledge Representation and Reasoning Conference in 2014 and 2018., at the ACM SIGMOD Conference (industry track) 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 (LICS) in 2021. Provided by Wikipedia
1
by Grädel, Erich., Grädel, Erich., Kolaitis, Phokion G., Libkin, Leonid., Marx, Maarten., Spencer, Joel., Vardi, Moshe Y., Venema, Yde., Weinstein, Scott.
Published 2007
Other Authors:
“...Libkin, Leonid....”Published 2007
View full text
Electronic
eBook
2
3
4