World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
61
Citations
13898
World Ranking
3096
National Ranking
187

Research.com Recognitions

  • 2015 - Member of Academia Europaea
  • 2012 - Fellow of the Royal Society of Edinburgh
  • 2012 - ACM Fellow For contributions to finite model theory and database theory.

Overview

Leonid Libkin is affiliated with the University of Edinburgh in the United Kingdom. Their research primarily focuses on the field of Computer Science, with a notable concentration on subfields such as Artificial Intelligence, Computer Networks and Communications, Computer Vision and Pattern Recognition, Signal Processing, and Information Systems.

Their work extensively covers topics including Advanced Database Systems and Queries, Semantic Web and Ontologies, Graph Theory and Algorithms, Data Management and Algorithms, Logic, Reasoning, and Knowledge, Data Mining Algorithms and Applications, and Data Quality and Management.

Leonid Libkin has published in various scholarly venues. Frequent publication locations include:

  • arXiv (Cornell University)
  • Bulletin of Symbolic Logic
  • Proceedings of the ACM on Management of Data
  • Proceedings of the VLDB Endowment
  • Proceedings of the 2022 International Conference on Management of Data

Recent papers by Libkin feature the following:

  • "Graph Pattern Matching in GQL and SQL/PGQ" (2022), Proceedings of the 2022 International Conference on Management of Data
  • "PG-Schema: Schemas for Property Graphs" (2023), Proceedings of the ACM on Management of Data
  • "A Researcher's Digest of GQL (Invited Talk)" (2023), Leibniz-Zentrum für Informatik (Schloss Dagstuhl)
  • "Troubles with nulls, views from the users" (2022), Proceedings of the VLDB Endowment
  • Unnamed paper (2022), Edinburgh Research Explorer (University of Edinburgh)

Frequent co-authors collaborating with Libkin include Victor Marsault, Wim Martens, Filip Murlak, Amélie Gheerbrant, and Paolo Guagliardo.

Leonid Libkin has received several awards recognizing their contributions. These include being named a Member of Academia Europaea in 2015, an ACM Fellow in 2012 for contributions to finite model theory and database theory, and a Fellow of the Royal Society of Edinburgh in 2012.

Best Publications

  • Elements of Finite Model Theory

    Leonid Libkin

  • A normal form for XML documents

    Marcelo Arenas;Leonid Libkin

  • Cypher: An Evolving Query Language for Property Graphs

    Nadime Francis;Alastair Green;Paolo Guagliardo;Leonid Libkin

  • Incremental maintenance of views with duplicates

    Timothy Griffin;Leonid Libkin

  • On XML integrity constraints in the presence of DTDs

    Wenfei Fan;Leonid Libkin

  • Algorithms for deferred view maintenance

    Latha S. Colby;Timothy Griffin;Leonid Libkin;Inderpal Singh Mumick

  • Constraint Databases

    Gabriel Kuper;Leonid Libkin;Jan Paredaens

  • Comprehension syntax

    Peter Buneman;Leonid Libkin;Dan Suciu;Val Tannen

  • XML data exchange: Consistency and query answering

    Marcelo Arenas;Leonid Libkin

  • Finite Model Theory and Its Applications

    E. Grädel;P. Kolaitis;L. Libkin;M.J. Marx

  • Data exchange and incomplete information

    Leonid Libkin

  • Expressive Languages for Path Queries over Graph-Structured Data

    Pablo Barceló;Leonid Libkin;Anthony W. Lin;Peter T. Wood

  • Safe Constraint Queries

    Michael Benedikt;Leonid Libkin

  • Relational expressive power of constraint query languages

    Michael Benedikt;Guozhu Dong;Leonid Libkin;Limsoon Wong

  • A query language for multidimensional arrays: design, implementation, and optimization techniques

    Leonid Libkin;Rona Machlin;Limsoon Wong

  • Query Languages for Bags and Aggregate Functions

    Leonid Libkin;Limsoon Wong

  • An information-theoretic approach to normal forms for relational and XML data

    Marcelo Arenas;Leonid Libkin

  • Relational expressive power of constraint query languages

    Michael Benedikt;Guozhu Dong;Leonid Libkin;Limsoon Wong

  • XML data exchange: consistency and query answering

    Marcelo Arenas;Leonid Libkin

  • Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, LICS 2012

    Pablo Barcelo;Diego Figueira;Leonid Libkin

  • Incremental maintenance of views with duplicates

    Timothy Griffin;Leonid Libkin

Frequent Co-Authors

Marcelo Arenas
Marcelo Arenas Pontificia Universidad Católica de Chile
Limsoon Wong
Limsoon Wong National University of Singapore
Michael Benedikt
Michael Benedikt University of Oxford
Wenfei Fan
Wenfei Fan University of Edinburgh
Timothy G. Griffin
Timothy G. Griffin University of Cambridge
Guozhu Dong
Guozhu Dong Wright State University
Frank Neven
Frank Neven Hasselt University
Thomas Schwentick
Thomas Schwentick TU Dortmund University
Kousha Etessami
Kousha Etessami University of Edinburgh

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring cheapest online university options is a smart way to earn your Computer Science degree while reducing tuition costs. Many accredited institutions now offer flexible, affordable online programs ideal for working professionals, international students, and those needing greater accessibility.

Not only can you pursue computer science, but you might also be wondering, can you get an engineering degree online? The answer is yes—online learning is increasingly making STEM and engineering programs available to a broader range of students, with dedicated support and virtual lab experiences.

For those aiming for leadership or executive roles, consider enhancing your qualifications with one of the top emba programs. These flexible online MBAs are tailored for experienced professionals eager to transition into tech management.

Interest in data, information management, or library technology careers is also growing. An online mlis programs could open doors in digital archiving, information systems, or academic librarianship—fields that pair well with a Computer Science background.

Best Scientists Citing Leonid Libkin

Trending Scientists