Leonid Libkin

Leonid Libkin
Born (1965-09-28) 28 September 1965
Alma materUniversity of Pennsylvania[1]
Scientific career
WorkplacesUniversity of Edinburgh
École normale supérieure
University of Toronto
Bell Labs
Thesis Aspects of Partial Information in Databases[1]  (1994[1])
Peter Buneman[1]
Websitehomepages.inf.ed.ac.uk/libkin/

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,[2] He previously worked at Bell Labs, at the University of Toronto, and at the École Normale Supérieure in Paris.[2]

Libkin is the author of standard textbooks on finite model theory and on data exchange.[3]

He is an ACM Fellow,[4] a Fellow of the Royal Society of Edinburgh,[5] and a member of Academia Europaea.[6] He won best paper awards at the Symposium on Principles of Database Systems (ACM PODS) in 1999, 2003, and 2005,[7] at International Conference on Database Theory (ICDT) in 2011,[8] at the Principles of Knowledge Representation and Reasoning Conference in 2014 and 2018.,[9] at the ACM SIGMOD Conference (industry track) in 2023,[10] and a test of time award at ICDT in 2023.[8] He was program chair of ICDT in 2005,[8] PODS in 2007[7] and ACM-IEEE Symposium on Logic in Computer Science (LICS) in 2021.[11]

Books

  • Libkin, Leonid (2004). Elements of Finite Model Theory. Springer. ISBN 978-3-540-21202-7.
  • Kuper, Gabriel; Libkin, Leonid; Paredaens, Jan (2010). Constraint Databases. Springer. ISBN 978-3-642-08542-0.
  • Arenas, Marcelo; Barceló, Pablo; Libkin, Leonid; Murlak, Filip (2014). Foundations of Data Exchange. Cambridge University Press. ISBN 9781107016163.

References

  1. 1 2 3 4 Leonid Libkin at the Mathematics Genealogy Project
  2. 1 2 "Chair of Foundations of Data Management". The University of Edinburgh, School of Informatics. Retrieved 8 April 2015.
  3. ↑ Leonid Libkin publications indexed by Google Scholar
  4. ↑ Cite error: The named reference ACM was invoked but never defined (see the help page).
  5. ↑ "Professor Leonid Libkin - Royal Society of Edinburgh". The Royal Society of Edinburgh. Retrieved 2 July 2025.
  6. ↑ Cite error: The named reference Acad was invoked but never defined (see the help page).
  7. 1 2 "ACM SIGMOD: PODS". Retrieved 2 September 2023.
  8. 1 2 3 "ICDT Pages". Retrieved 29 February 2020.
  9. ↑ "Ray Reiter Best Paper Prize". Retrieved 29 February 2020.
  10. ↑ "SIGMOD Best Paper Award – SIGMOD Website".
  11. ↑ "LICS Archive".
This page is issued from Wikipedia. The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.