If you made any changes in Pure these will be visible here soon.

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

Network

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
  • Fragments of Bag Relational Algebra: Expressiveness and Certain Answers

    Console, M., Guagliardo, P. & Libkin, L., 1 Mar 2022, In: Information Systems. 105, 36 p., 101604.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    File
  • Graph Pattern Matching in GQL and SQL/PGQ

    Deutsch, A., Francis, N., Green, A., Hare, K., Li, B., Libkin, L., Lindaaker, T., Marsault, V., Martens, W., Michels, J., Murlak, F., Plantikow, S., Selmer, P., Voigt, H., van Rest, O., Vrgoc, D., Wu, M. & Zemke, F., 27 Jan 2022, (Accepted/In press) Proceedings of SIGMOD 2022. 33 p.

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

  • Propositional and predicate logics of incomplete information

    Console, M., Guagliardo, P. & Libkin, L., 1 Jan 2022, In: Artificial Intelligence. 302, 28 p., 103603.

    Research output: Contribution to journalArticlepeer-review

  • PG-Keys: Keys for Property Graphs

    Angles, R., Bonifati, A., Dumbrava, S., Fletcher, G., Hare, K. W., Hidders, J., Lee, V. E., Li, B., Libkin, L., Martens, W., Murlak, F., Perryman, J., Savković, O., Schmidt, M., Sequeda, J., Staworko, S. & Tomaszuk, D., 9 Jun 2021, Proceedings of the 2021 International Conference on Management of Data (SIGMOD ’21). ACM, p. 2423-2436 14 p.

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

    Open Access
    File
  • Incorporating Data Context to Cost-Effectively Automate End-to-End Data Wrangling

    Koehler, M., Abel, E., Bogatu, A., Civili, C., Mazilu, L., Konstantinou, N., Fernandes, A. A. A., Keane, J., Libkin, L. & Paton, N. W., 1 Mar 2021, In: IEEE Transactions on Big Data. 7, 1, p. 169-186 18 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    File