Notable awards FRSE (2012)FACM Name Leonid Libkin | Role Author | |
 | ||
Institutions University of EdinburghUniversity of TorontoBell Labs Thesis Aspects of Partial Information in Databases (1994) Books Elements of Finite Model Th, Foundations of Data Exchange, Relational and XML Data Exc | ||
Prof leonid libkin separating possible from impossible or why practical computing needs theory
Leonid Libkin is a computer scientist who works in database theory, logic in computer science, and finite model theory.
Contents
- Prof leonid libkin separating possible from impossible or why practical computing needs theory
- Books
- References
Libkin is a Professor at the University of Edinburgh, where he holds the chair of Foundations of Data Management in the School of Informatics. He previously worked at the University of Toronto and Bell Labs.
Libkin is the author of a standard textbook on finite model theory. He is an ACM Fellow, a Fellow of the Royal Society of Edinburgh, and a member of Academia Europaea.
Books
References
Leonid Libkin Wikipedia(Text) CC BY-SA