Leonid Libkin

Leonid Libkin
Institutions	University of Edinburgh University of Toronto Bell Labs
Alma mater	University of Pennsylvania[1]
Thesis	Aspects of Partial Information in Databases[1] (1994[1])
Doctoral advisor	Peter Buneman[1]
Doctoral students	Marcelo Arenas, Pablo Barceló, Solmaz Kolahi, Shunichi Amano, Anthony Widjaja Lin, Juan Reutter, Domagoj Vrgoč[1]
Notable awards	Academia Europaea[2] FRSE[3] FACM[4] Marie Curie Chair[5]
Website homepages.inf.ed.ac.uk/libkin/

Leonid Libkin is a computer scientist who works in database theory, logic in computer science, and finite model theory.

Libkin is a Professor at the University of Edinburgh,^[6] where he holds the chair of Foundations of Data Management in the School of Informatics.^[7] He previously worked at the University of Toronto and Bell Labs.^[7]

Libkin is the author of a standard textbook on finite model theory.^[8] He is an ACM Fellow,^[4] a Fellow of the Royal Society of Edinburgh,^[3] and a member of Academia Europaea.^[2]

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 at the Mathematics Genealogy Project
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". The University of Edinburgh, School of Informatics. Retrieved 1 January 2015.
7. "Chair of Foundations of Data Management". The University of Edinburgh, School of Informatics. Retrieved 8 April 2015.
8. "Leonid Libkin". Google Scholar. 2012. Retrieved 23 February 2016.

External links

• Leonid Libkin's publications indexed by the DBLP Bibliography Server at the University of Trier