Leonid Libkin

Leonid Libkin
Alma mater University of Pennsylvania[1]
Awards

Royal Society Wolfson Research Merit Award[2]
Academia Europaea[3]
FRSE[4]
FACM[5]

Marie Curie Chair[6]
Scientific career
Institutions University of Edinburgh
University of Toronto
Bell Labs
Thesis Aspects of Partial Information in Databases[1] (1994[1])
Doctoral advisor Peter Buneman[1]
Website homepages.inf.ed.ac.uk/libkin/

Leonid Libkin FRSE 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,[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. 1 2 3 4 Leonid Libkin at the Mathematics Genealogy Project
  2. ↑ "Leonid Libkin". Royal Society. 2017. Retrieved 9 March 2017.
  3. 1 2 "Leonid Libkin". Academia Europaea. 2012. Retrieved 22 February 2016.
  4. ↑ "2012 Elected Fellows". Royal Society of Edinburgh. 2012. Retrieved 22 February 2016.
  5. 1 2 "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. 1 2 "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 Edit this at Wikidata
  10. ↑ "Professor Leonid Libkin FRSE - The Royal Society of Edinburgh". The Royal Society of Edinburgh. Retrieved 2018-06-26.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.