Leonid Libkin

View Scopus Profile

Leonid Libkin

PROF

 https://orcid.org/0000-0002-6698-2735

Accepting PhD Students

Personal profile

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 200 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 five 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, a fellow of the Royal Society of Edinburgh, and a member of Academia Europaea.

Fingerprint

Dive into the research topics where Leonid Libkin is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles
View full fingerprint

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Explore network further

  • The Linked Data Benchmark Council (LDBC): Driving Competition and Collaboration in the Graph Data Management Space

    Szárnyas, G., Bebee, B., Birler, A., Deutsch, A., Fletcher, G., Gabb, H. A., Gosnell, D., Green, A., Guo, Z., Hare, K. W., Hidders, J., Iosup, A., Kiryakov, A., Kovatchev, T., Li, X., Libkin, L., Lin, H., Luo, X., Prat-Pérez, A., Püroja, D., & 13 othersQi, S., van Rest, O., Steer, B. A., Szakállas, D., Tong, B., Waudby, J., Wu, M., Yang, B., Yu, W., Zhang, C., Zhang, J., Zhou, Y. & Boncz, P., 5 Jul 2023, (Accepted/In press) Proceedings of the Fifteenth TPC Technology Conference on Performance Evaluation & Benchmarking. 16 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • PG-Schemas: Schemas for Property Graphs

    Angles, R., Bonifati, A., Dumbrava, S., Fletcher, G., Green, A., Hidders, J., Li, B., Libkin, L., Marsault, V., Martens, W., Murlak, F., Plantikow, S., Savković, O., Schmidt, M., Sequeda, J., Staworko, S., Tomaszuk, D., Voigt, H., Vrgoc, D., Wu, M., & 1 othersZivkovic, D., 20 Jun 2023, In: Proceedings of the ACM on Management of Data. 1, 2, p. 1-25 198.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    File

  • GPC: A Pattern Calculus for Property Graphs

    Francis, N., Gheerbrant, A., Guagliardo, P., Libkin, L., Marsault, V., Martens, W., Murlak, F., Peterfreund, L., Rogova, A. & Vrgoc, D., 18 Jun 2023, Proceedings of the 42nd ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems (PODS ’23). ACM Association for Computing Machinery, p. 241-250 (PODS '23).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Querying Incomplete Numerical Data: Between Certain and Possible Answers

    Console, M., Libkin, L. & Peterfreund, L., 18 Jun 2023, Proceedings of the 42nd ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems (PODS ’23). ACM Association for Computing Machinery, p. 349-358 (PODS '23).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • SQL Nulls and Two-Valued Logic

    Libkin, L. & Peterfreund, L., 18 Jun 2023, Proceedings of the 42nd ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems (PODS ’23). ACM Association for Computing Machinery, p. 11-20 (PODS '23).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
View all 143 research outputs
  • 5 Participation in conference
  • 2 Invited talk
View all 7 activities
View all 21 projects