Leonid Libkin

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

Leonid Libkin
Alma materUniversity of Pennsylvania[1]
AwardsRoyal Society Wolfson Research Merit Award[2]


Academia Europaea[3]
FRSE[4]
FACM[5]

Marie Curie Chair[6]
Scientific career
InstitutionsUniversity of Edinburgh
University of Toronto
Bell Labs
ThesisAspects of Partial Information in Databases[1] (1994[1])
Doctoral advisorPeter Buneman[1]
Websitehomepages.inf.ed.ac.uk/libkin/

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

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

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". Royal Society. 2017. Retrieved 9 March 2017.
  3. "Leonid Libkin". Academia Europaea. 2012. Retrieved 22 February 2016.
  4. "2012 Elected Fellows". Royal Society of Edinburgh. 2012. Retrieved 22 February 2016.
  5. "ACM Fellows". ACM. Retrieved 23 February 2016.
  6. "XMLDATA". European Commission. 2007. Retrieved 22 February 2016.
  7. "Leonid Libkin". The University of Edinburgh, School of Informatics. Retrieved 1 January 2015.
  8. "Chair of Foundations of Data Management". The University of Edinburgh, School of Informatics. Retrieved 8 April 2015.
  9. Leonid Libkin publications indexed by Google Scholar
  10. "Professor Leonid Libkin FRSE - The Royal Society of Edinburgh". The Royal Society of Edinburgh. Retrieved 26 June 2018.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.