Leonid Libkin

Edit links
From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by Arjayay (talk | contribs) at 13:11, 2 March 2020 (Duplicate word removed). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

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

Academia Europaea[2]
Fellow of the RSE[3]
ACM Fellow[4]

Marie Curie Chair[5]
Scientific career
InstitutionsÉcole normale supérieure
University of Edinburgh
University of Toronto
Bell Labs
Thesis Aspects of Partial Information in Databases[6]  (1994[6])
Doctoral advisorPeter Buneman[6]
Websitehomepages.inf.ed.ac.uk/libkin/

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

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

He is an ACM Fellow,[4] a Fellow of the Royal Society of Edinburgh,[10] and a member of Academia Europaea.[2] He won best paper awards at the Symposium on Principles of Database Systems (ACM PODS) in 1999, 2003, and 2005 [11], at International Conference on Database Theory (ICDT) in 2011[12] and at the Principles of Knowledge Representation and Reasoning Conference in 2014 and 2018[13].

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. ^ a b "Leonid Libkin". Academia Europaea. 2012. Retrieved 22 February 2016.
  3. ^ "2012 Elected Fellows". Royal Society of Edinburgh. 2012. Retrieved 22 February 2016.
  4. ^ a b "ACM Fellows". ACM. Retrieved 23 February 2016.
  5. ^ "XMLDATA". European Commission. 2007. Retrieved 22 February 2016.
  6. ^ a b c d Leonid Libkin at the Mathematics Genealogy Project Edit this at Wikidata
  7. ^ a b "Chair of Foundations of Data Management". The University of Edinburgh, School of Informatics. Retrieved 8 April 2015.
  8. ^ "Directory". École normale supérieure, Computer science department. Retrieved 13 February 2019. {{cite web}}: Cite has empty unknown parameter: |1= (help)
  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 26 June 2018.
  11. ^ "PODS Best Paper Awards". Retrieved 29 February 2020.
  12. ^ "ICDT Best Paper Awards". Retrieved 29 February 2020.
  13. ^ "Ray Reiter Best Paper Prize". Retrieved 29 February 2020.

External links

P ≟ NP 

This biographical article relating to a computer scientist is a stub. You can help Wikipedia by expanding it.

Retrieved from "https://en.wikipedia.org/w/index.php?title=Leonid_Libkin&oldid=943542942"