Leonid Libkin | |
---|---|
Alma mater | University of Pennsylvania [6] |
Awards |
Royal Society Wolfson Research Merit Award
[1]
Academia Europaea
[2]
|
Scientific career | |
Institutions |
University of Edinburgh École normale supérieure University of Toronto Bell Labs |
Thesis | Aspects of Partial Information in Databases [6] (1994 [6]) |
Doctoral advisor | Peter Buneman [6] |
Website |
homepages |
Leonid Libkin FRSE 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, [4] a Fellow of the Royal Society of Edinburgh, [9] and a member of Academia Europaea. [2] 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]
Leonid Libkin | |
---|---|
Alma mater | University of Pennsylvania [6] |
Awards |
Royal Society Wolfson Research Merit Award
[1]
Academia Europaea
[2]
|
Scientific career | |
Institutions |
University of Edinburgh École normale supérieure University of Toronto Bell Labs |
Thesis | Aspects of Partial Information in Databases [6] (1994 [6]) |
Doctoral advisor | Peter Buneman [6] |
Website |
homepages |
Leonid Libkin FRSE 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, [4] a Fellow of the Royal Society of Edinburgh, [9] and a member of Academia Europaea. [2] 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]