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 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 a British computer scientist who is a 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">Moshe Vardi</span> Israeli mathematicien and computer scientist

Moshe Ya'akov Vardi is an Israeli theoretical 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">Rajeev Alur</span> American computer scientist

Rajeev Alur is an American professor of computer science at the University of Pennsylvania who has made contributions to formal methods, programming languages, and automata theory, including notably the introduction of timed automata and nested words.

<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.

Informatics is the study of computational systems. According to the ACM Europe Council and Informatics Europe, informatics is synonymous with computer science and computing as a profession, in which the central notion is transformation of information. In some cases, the term "informatics" may also be used with different meanings, e.g. in the context of social computing, or in context of library science.

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 Gerasimos 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.

<span class="mw-page-title-main">Val Tannen</span> Computer scientist

Val Tannen is a computer scientist known for his contributions to the fields of database systems and programming languages. He is currently professor in the Department of Computer and Information Science at the University of Pennsylvania.

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.