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] |
| Notable awards |
FRSE[2] (2012) FACM |
|
Website homepages | |
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, where he holds the chair of Foundations of Data Management in the School of Informatics.[3][4] He previously worked at the University of Toronto and Bell Labs.[4]
Libkin is the author of a standard textbook on finite model theory and is an ACM Fellow.[5]
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.0 1.1 1.2 1.3 Leonid Libkin at the Mathematics Genealogy Project
- ↑ "Current Fellows in Alphabetical Order". Royal Society of Edinburgh. Retrieved 1 January 2015.
- ↑ "Leonid Libkin". The University of Edinburgh, School of Informatics. Retrieved 1 January 2015.
- ↑ 4.0 4.1 "Chair of Foundations of Data Management". The University of Edinburgh, School of Informatics. Retrieved 8 April 2015.
- ↑ "Leonid Libkin – Award Winner". Association for Computing Machinery. 2012. Retrieved 1 November 2013.
External links
- Leonid Libkin's publications indexed by the DBLP Bibliography Server at the University of Trier