Misplaced Pages

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.

Books

• Libkin, Leonid (2004). Elements of Finite Model Theory. Springer. ISBN 978-3-540-21202-7.
• Arenas, Marcelo; Barceló, Pablo; Libkin, Leonid; Murlak, Filip (2014). Foundations of Data Exchange. Cambridge University Press. ISBN 9781107016163.

References

1. "Leonid Libkin". Royal Society. 2017. Retrieved 9 March 2017.
2. ^ "Leonid Libkin". Academia Europaea. 2012. Retrieved 22 February 2016.
3. "2012 Elected Fellows". Royal Society of Edinburgh. 2012. Retrieved 22 February 2016.
4. ^ "ACM Fellows". ACM. Retrieved 23 February 2016.
5. "XMLDATA". European Commission. 2007. Retrieved 22 February 2016.
6. ^ Leonid Libkin at the Mathematics Genealogy Project
7. ^ "Chair of Foundations of Data Management". The University of Edinburgh, School of Informatics. Retrieved 8 April 2015.
8. Leonid Libkin publications indexed by Google Scholar
9. "Professor Leonid Libkin FRSE - The Royal Society of Edinburgh". The Royal Society of Edinburgh. Retrieved 26 June 2018.
10. ^ "ACM SIGMOD: PODS". Retrieved 2 September 2023.
11. ^ "ICDT Pages". Retrieved 29 February 2020.
12. "Ray Reiter Best Paper Prize". Retrieved 29 February 2020.
13. "SIGMOD Best Paper Award – SIGMOD Website".
14. "LICS Archive".

External links

• Leonid Libkin at DBLP Bibliography Server

• v
• t
• e

• Living people
• 2012 fellows of the Association for Computing Machinery
• American computer scientists
• Academics of the University of Edinburgh
• University of Pennsylvania alumni
• Royal Society Wolfson Research Merit Award holders
• Members of Academia Europaea
• Computer scientist stubs