Leonid Libkin

Leonid Libkin is a Professor and Chair of Foundations of Data Management at the University of Edinburgh, affiliated with the School of Informatics and the Laboratory for Foundations of Computer Science (LFCS). Since 2006, he has been leading research and teaching in data management, database theory, and logic in computer science.

Education and Career:

• 2006–present: Professor and Chair of Foundations of Data Management, University of Edinburgh
• 2004–2006: Full Professor, University of Toronto
• 2001–2004: Associate Professor, University of Toronto
• 1999–2000: Visiting Researcher, INRIA-Rocquencourt
• 1994–2001: Member of Research Staff, Bell Laboratories, Murray Hill

Research Interests:
Libkin's research spans databases, logic in computer science, and finite model theory. His work includes query languages for relational and graph databases, data integration, constraints, incomplete data, automata theory, and applications of logic in computer science. He has also contributed to lattice theory and programming semantics.

Awards and Honors:

• Royal Society Wolfson Research Merit Award (2016)
• Member of Academia Europaea (2015)
• Fellow of the ACM (2012)
• Fellow of the Royal Society of Edinburgh (2012)
• Marie Curie Chair, EU FP6 (2006)
• Premier's Research Excellence Award, Ontario (2001)
• Five best paper awards from top-tier conferences (KR, ICDT, PODS)

Books and Publications:
Libkin is the author of several influential books including Elements of Finite Model Theory, Principles of Databases, and others on database theory and logic. His extensive publication record includes foundational papers in database theory and logic in computer science.