Biography:Leonid Libkin
Leonid Libkin | |
|---|---|
| Alma mater | University of Pennsylvania[1] |
| Awards | Royal Society Wolfson Research Merit Award[2]
Academia Europaea[3]
|
| Scientific career | |
| Institutions | University of Edinburgh École normale supérieure University of Toronto Bell Labs |
| Thesis | Aspects of Partial Information in Databases[1] (1994[1]) |
| Doctoral advisor | Peter Buneman[1] |
| Website | homepages |
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] He previously worked at Bell Labs, at the University of Toronto, and at the École Normale Supérieure in Paris.[7]
Libkin is the author of standard textbooks on finite model theory and on data exchange.[8]
He is an ACM Fellow,[5] a Fellow of the Royal Society of Edinburgh,[9] and a member of Academia Europaea.[3] He won best paper awards at the Symposium on Principles of Database Systems (ACM PODS) in 1999, 2003, and 2005,[10] at International Conference on Database Theory (ICDT) in 2011,[11] at the Principles of Knowledge Representation and Reasoning Conference in 2014 and 2018.,[12] at the ACM SIGMOD Conference (industry track) in 2023,[13] and a test of time award at ICDT in 2023.[11] He was program chair of ICDT in 2005,[11] PODS in 2007[10] and ACM-IEEE Symposium on Logic in Computer Science (LICS) in 2021.[14]
Books
- Libkin, Leonid (2004). Elements of Finite Model Theory. Springer. ISBN 978-3-540-21202-7. https://archive.org/details/elementsoffinite00libk.
- 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
- ↑ "Leonid Libkin". Royal Society. 2017. https://royalsociety.org/people/leonid-libkin-13335/. Retrieved 9 March 2017.
- ↑ 3.0 3.1 "Leonid Libkin". Academia Europaea. 2012. http://www.ae-info.org/ae/User/Libkin_Leonid. Retrieved 22 February 2016.
- ↑ "2012 Elected Fellows". Royal Society of Edinburgh. 2012. https://www.royalsoced.org.uk/1023_2012ElectedFellows.html. Retrieved 22 February 2016.
- ↑ 5.0 5.1 "ACM Fellows". ACM. http://awards.acm.org/fellow/year.cfm. Retrieved 23 February 2016.
- ↑ "XMLDATA". European Commission. 2007. http://cordis.europa.eu/project/rcn/84736_en.html. Retrieved 22 February 2016.
- ↑ 7.0 7.1 "Chair of Foundations of Data Management". The University of Edinburgh, School of Informatics. http://homepages.inf.ed.ac.uk/mfourman/blogs/news/2005/12/chair-of-foundations-of-data.html. Retrieved 8 April 2015.
- ↑ {{Google Scholar id}} template missing ID and not present in Wikidata.
- ↑ "Professor Leonid Libkin FRSE - The Royal Society of Edinburgh" (in en-GB). The Royal Society of Edinburgh. https://www.rse.org.uk/fellow/leonid-libkin/.
- ↑ 10.0 10.1 "ACM SIGMOD: PODS". https://sigmod.org/pods-home/. Retrieved 2 September 2023.
- ↑ 11.0 11.1 11.2 "ICDT Pages". https://databasetheory.org/icdt-pages/. Retrieved 29 February 2020.
- ↑ "Ray Reiter Best Paper Prize". http://www.kr.org/index.php?page=prizes. Retrieved 29 February 2020.
- ↑ "SIGMOD Best Paper Award – SIGMOD Website". https://sigmod.org/sigmod-awards/sigmod-best-paper-award/.
- ↑ "LICS Archive". https://lics.siglog.org/archive/conferences.html.
External links
- {{DBLP}} template missing ID and not present in Wikidata.
 |  |
