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 |
Royal Society Wolfson Research Merit Award[2]
|
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,[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,[4] 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 2 3 4 5 Leonid Libkin at the Mathematics Genealogy Project
- ↑ "Leonid Libkin". Royal Society. 2017. Retrieved 9 March 2017.
- 1 2 "Leonid Libkin". Academia Europaea. 2012. Retrieved 22 February 2016.
- 1 2 "2012 Elected Fellows". Royal Society of Edinburgh. 2012. Retrieved 22 February 2016.
- 1 2 "ACM Fellows". ACM. Retrieved 23 February 2016.
- ↑ "XMLDATA". European Commission. 2007. Retrieved 22 February 2016.
- ↑ "Leonid Libkin". The University of Edinburgh, School of Informatics. Retrieved 1 January 2015.
- 1 2 "Chair of Foundations of Data Management". The University of Edinburgh, School of Informatics. Retrieved 8 April 2015.
- ↑ Leonid Libkin publications indexed by Google Scholar
External links
- Leonid Libkin at DBLP Bibliography Server
This article is issued from
Wikipedia.
The text is licensed under Creative Commons - Attribution - Sharealike.
Additional terms may apply for the media files.