Edinburgh Research Explorer

Prof Leonid Libkin

Marie Curie Chair

Research Interests

Databases: query languages, relational, XML, and graph data, constraints and design, data integration and exchange, incomplete information, etc.
Logic in computer science, finite model theory, automata theory
In the past: lattice theory, with some applications to programming semantics.

Biography

Leonid Libkin is Professor of Foundations of Data Management in the School of Informatics at the University of Edinburgh. He was previously a Professor at the University of Toronto and a member of research staff at Bell Laboratories in Murray Hill. He received his PhD from the University of Pennsylvania in 1994. His main research interests are in the areas of data management and applications of logic in computer science. He has written four books and over 180 technical papers. He was the recipient of a Marie Curie Chair Award from the EU in 2006 - 2009, a Premier's Research Excellence Award in 2001, and won four best paper awards. He has chaired programme committees of major database conferences (ACM PODS, ICDT) and was the conference chair of the 2010 Federated Logic Conference. He has given many invited conference talks and has served on multiple program committees and editorial boards. He is an ACM fellow and a fellow of the Royal Society of Edinburgh.

Research students

Current PhD Students:
Domagoj Vrgoc

Previous PhD Students:
Anthony To 2010
Shunichi Amano 2010
Juan Reutter 2013

Research outputs

  1. Querying regular graph patterns

    Research output: Contribution to journalArticle

  2. On Scale Independence for Querying Big Data

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  3. Solutions and query rewriting in data exchange

    Research output: Contribution to journalArticle

View all (44) »

Research activities & awards

  1. Finite validity via model checking: computing certain answers

    Activity: External academic engagementInvited talk

  2. 20th Workshop on Logic, Language, Information and Computation

    Activity: Participation in conference, seminar or training courseParticipation in conference

  3. Reasoning About Pattern-Based XML Queries

    Activity: External academic engagementInvited talk

View all (5) »

ID: 9436