From Wikipedia, the free encyclopedia
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,[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]
RetroSearch is an open source project built by @garambo | Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4