American computer scientist
Leonid Libkin (born September 28, 1965) 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, [ 7] He previously worked at Bell Labs , at the University of Toronto , and at the École Normale Supérieure in Paris. [ 7]
Libkin is the author of standard textbooks on finite model theory and on data exchange . [ 8]
He is an ACM Fellow , [ 5] a Fellow of the Royal Society of Edinburgh , [ 9] and a member of Academia Europaea. [ 3] He won best paper awards at the Symposium on Principles of Database Systems (ACM PODS) in 1999, 2003, and 2005, [ 10] at International Conference on Database Theory (ICDT) in 2011, [ 11] at the Principles of Knowledge Representation and Reasoning Conference in 2014 and 2018., [ 12] at the ACM SIGMOD Conference (industry track) in 2023, [ 13] and a test of time award at ICDT in 2023. [ 11] He was program chair of ICDT in 2005, [ 11] PODS in 2007 [ 10] and ACM-IEEE Symposium on Logic in Computer Science (LICS) in 2021. [ 14]
This page is based on this
Wikipedia article Text is available under the
CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.
