Leonid Libkin

Last updated

Leonid Libkin
Alma mater University of Pennsylvania [1]
Awards Royal Society Wolfson Research Merit Award [2]

Academia Europaea [3]
Fellow of the RSE [4]
ACM Fellow [5]

Marie Curie Chair

Contents

[6]
Scientific career
Institutions University of Edinburgh
École normale supérieure
University of Toronto
Bell Labs
Thesis Aspects of Partial Information in Databases [1]  (1994 [1] )
Doctoral advisor Peter Buneman [1]
Website homepages.inf.ed.ac.uk/libkin/

Leonid Libkin FRSE is a computer scientist who works in data management, in particular in database theory, and in logic in computer science.

Libkin is a professor at the University of Edinburgh, where he is chair of Foundations of Data Management in the School of Informatics, [7] He previously worked at Bell Labs, at the University of Toronto, and at the École Normale Supérieure in Paris. [7]

Libkin is the author of standard textbooks on finite model theory and on data exchange. [8]

He is an ACM Fellow, [5] a Fellow of the Royal Society of Edinburgh, [9] and a member of Academia Europaea. [3] He won best paper awards at the Symposium on Principles of Database Systems (ACM PODS) in 1999, 2003, and 2005, [10] at International Conference on Database Theory (ICDT) in 2011, [11] at the Principles of Knowledge Representation and Reasoning Conference in 2014 and 2018., [12] at the ACM SIGMOD Conference (industry track) in 2023, [13] and a test of time award at ICDT in 2023. [11] He was program chair of ICDT in 2005, [11] PODS in 2007 [10] and ACM-IEEE Symposium on Logic in Computer Science (LICS) in 2021. [14]

Books

Related Research Articles

<span class="mw-page-title-main">Samson Abramsky</span> British computer scientist

Samson Abramsky is Professor of Computer Science at University College London. He was previously the Christopher Strachey Professor of Computing at Wolfson College, Oxford, from 2000 to 2021.

Database theory encapsulates a broad range of topics related to the study and research of the theoretical realm of databases and database management systems.

In computational complexity theory, a nonelementary problem is a problem that is not a member of the class ELEMENTARY. As a class it is sometimes denoted as NONELEMENTARY.

<span class="mw-page-title-main">Gordon Plotkin</span> Computer Scientist

Gordon David Plotkin, is a theoretical computer scientist in the School of Informatics at the University of Edinburgh. Plotkin is probably best known for his introduction of structural operational semantics (SOS) and his work on denotational semantics. In particular, his notes on A Structural Approach to Operational Semantics were very influential. He has contributed to many other areas of computer science.

<span class="mw-page-title-main">Philip Wadler</span> American computer scientist

Philip Lee Wadler is a UK-based American computer scientist known for his contributions to programming language design and type theory. He is the chair of theoretical computer science at the Laboratory for Foundations of Computer Science at the School of Informatics, University of Edinburgh. He has contributed to the theory behind functional programming and the use of monads; and the designs of the purely functional language Haskell and the XQuery declarative query language. In 1984, he created the Orwell language. Wadler was involved in adding generic types to Java 5.0. He is also author of "Theorems for free!", a paper that gave rise to much research on functional language optimization.

ACM SIGACT or SIGACT is the Association for Computing Machinery Special Interest Group on Algorithms and Computation Theory, whose purpose is support of research in theoretical computer science. It was founded in 1968 by Patrick C. Fischer.

<span class="mw-page-title-main">Moshe Vardi</span> Israeli mathematicien and computer scientist

Moshe Ya'akov Vardi is an Israeli mathematician and computer scientist. He is the Karen Ostrum George Distinguished Service Professor in Computational Engineering at Rice University, United States. and a faculty advisor for the Ken Kennedy Institute. His interests focus on applications of logic to computer science, including database theory, finite model theory, knowledge of multi-agent systems, computer-aided verification and reasoning, and teaching logic across the curriculum. He is an expert in model checking, constraint satisfaction and database theory, common knowledge (logic), and theoretical computer science.

<span class="mw-page-title-main">Jane Hillston</span>

Jane Elizabeth Hillston is a British computer scientist who is professor of quantitative modelling and former head of school in the School of Informatics, University of Edinburgh, Scotland.

<span class="mw-page-title-main">Ronald Fagin</span> American mathematician and computer scientist

Ronald Fagin is an American mathematician and computer scientist, and IBM Fellow at the IBM Almaden Research Center. He is known for his work in database theory, finite model theory, and reasoning about knowledge.

<span class="mw-page-title-main">Serge Abiteboul</span> French computer scientist

Serge Joseph Abiteboul is a French computer scientist working in the areas of data management, database theory, and finite model theory.

Oscar Peter Buneman, is a British computer scientist who works in the areas of database systems and database theory.

<span class="mw-page-title-main">Georg Gottlob</span> Austrian computer scientist

Georg Gottlob FRS is an Austrian-Italian computer scientist who works in the areas of database theory, logic, and artificial intelligence and is Professor of Informatics at the University of Calabria. He was Professor at the University of Oxford.

Alberto O. Mendelzon was an Argentine-Canadian computer scientist who died on June 16, 2005.

Victor Vianu is a computer scientist, a professor of computer science and engineering at the University of California, San Diego. He served as editor-in-chief of the Journal of the ACM from 2009 to 2015.

<span class="mw-page-title-main">Tova Milo</span> Israeli computer scientist

Tova Milo is a full Professor of Computer Science at Tel Aviv University and the Dean of the Faculty of Exact Sciences. She served as the head of the Computer Science Department from 2011 to 2014. Milo is the head of the data management group in Tel Aviv University, and her research focuses on Web data management. She received her PhD from the Hebrew University in 1992 under the supervision of Catriel Beeri, and was a postdoctoral fellow at the University of Toronto and INRIA, France, prior to joining Tel Aviv University.

<span class="mw-page-title-main">Wenfei Fan</span> Chinese-British computer scientist

Wenfei Fan is a Chinese-British computer scientist and professor of web data management at the University of Edinburgh. His research investigates database theory and database systems.

Phokion G. KolaitisACM is a computer scientist who is currently a Distinguished Research Professor at UC Santa Cruz and a Principal Research Staff Member at the IBM Almaden Research Center. His research interests include principles of database systems, logic in computer science, and computational complexity.

Michael Genesereth is an American logician and computer scientist, who is most known for his work on computational logic and applications of that work in enterprise management, computational law, and general game playing. Genesereth is professor in the Computer Science Department at Stanford University and a professor by courtesy in the Stanford Law School. His 1987 textbook on Logical Foundations of Artificial Intelligence remains one of the key references on symbolic artificial intelligence. He is the author of the influential Game Description Language (GDL) and Knowledge Interchange Format (KIF), the latter of which led to the ISO Common Logic standard.

References

  1. 1 2 3 4 Leonid Libkin at the Mathematics Genealogy Project OOjs UI icon edit-ltr-progressive.svg
  2. ↑ "Leonid Libkin". Royal Society. 2017. Retrieved 9 March 2017.
  3. 1 2 "Leonid Libkin". Academia Europaea. 2012. Retrieved 22 February 2016.
  4. ↑ "2012 Elected Fellows". Royal Society of Edinburgh. 2012. Retrieved 22 February 2016.
  5. 1 2 "ACM Fellows". ACM . Retrieved 23 February 2016.
  6. ↑ "XMLDATA". European Commission. 2007. Retrieved 22 February 2016.
  7. 1 2 "Chair of Foundations of Data Management". The University of Edinburgh, School of Informatics. Retrieved 8 April 2015.
  8. ↑ Leonid Libkin publications indexed by Google Scholar OOjs UI icon edit-ltr-progressive.svg
  9. ↑ "Professor Leonid Libkin FRSE - The Royal Society of Edinburgh". The Royal Society of Edinburgh. Retrieved 26 June 2018.
  10. 1 2 "ACM SIGMOD: PODS" . Retrieved 2 September 2023.
  11. 1 2 3 "ICDT Pages" . Retrieved 29 February 2020.
  12. ↑ "Ray Reiter Best Paper Prize" . Retrieved 29 February 2020.
  13. ↑ "SIGMOD Best Paper Award – SIGMOD Website".
  14. ↑ "LICS Archive".


This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.