Georg Gottlob

From Infogalactic: the planetary knowledge core
Jump to: navigation, search
Georg Gottlob
File:Georg gottlob-official3.png
Born (1956-06-30) 30 June 1956 (age 67)[1]
Vienna, Austria
Residence Oxford, United Kingdom
Nationality Austrian and Italian
Fields <templatestyles src="Plainlist/styles.css"/>
Institutions <templatestyles src="Plainlist/styles.css"/>
Alma mater Vienna University of Technology
Thesis Mehrwertige Logik - Aufbau und Anwendung in der Informatik (1981)
Doctoral advisor Curt Christian[3]
Doctoral students <templatestyles src="Plainlist/styles.css"/>
  • Dmitri Akatov[4]
  • Michal Ceresna
  • Robert Chandradoss
  • José Díaz Prado
  • Thomas Eiter
  • Christian Fermüller
  • Michael Fink
  • Wolfgang Gatterbauer
  • Xiaonan Guo
  • Marcus Herzog
  • Ondrej Jaura
  • Stefan Katzenbeisser
  • Thomas Korimort
  • Bruno Marnette[5]
  • Zoltan Miklos[6]
  • Reinhard Pichler
  • Kurt Reichinger
  • Gernot Salzer
  • Marko Samer
  • Andrew Sellers[7]
  • Wolfgang Slany
  • Stefan Szeider
  • Hans Tompits
  • Helmut Veith[3]
Notable awards <templatestyles src="Plainlist/styles.css"/>
Website
www.cs.ox.ac.uk/people/georg.gottlob

Georg Gottlob FRS is an Austrian computer scientist who works in the areas of database theory, logic, and artificial intelligence and is Professor of Informatics at the University of Oxford.[2][10][11][12][13][14][15][16][17]

Education

Gottlob obtained his undergraduate and PhD degrees in computer science at Vienna University of Technology in 1981.

Career and Research

Gottlob is currently a chaired professor of computing science at the Oxford University Department of Computer Science, where he helped establish the information systems research group. He is also a Fellow of St John's College, Oxford. Previously, he was a professor of computer science at Vienna University of Technology, where he still maintains an adjunct position. He was elected a member of the Royal Society in May, 2010.[9] He is a founding member of the Oxford-Man Institute.

He has published more than 250 scientific articles in the areas of computational logic, database theory, and artificial intelligence, and one textbook on logic programming and databases.[18]

In the area of artificial intelligence, he is best known for his influential early work on the complexity of nonmonotonic logics[19][20] and on (generalized) hypertree decompositions,[21][22] a framework for obtaining tractable structural classes of constraint satisfaction problems, and a generalization of the notion of tree decomposition from graph theory. This work has also had substantial impact in database theory, since it is known that the problem of evaluating conjunctive queries on relational databases is equivalent to the constraint satisfaction problem.[23] His recent work on XML query languages (notably XPath) has helped create the complexity-theoretical foundations of this area.[24][25][26]

Awards and honours

Gottlob has received numerous awards and honours including election to the Royal Society in 2010. His nomination for the Royal Society reads: <templatestyles src="Template:Blockquote/styles.css" />

Georg Gottlob has made fundamental contributions to both artificial intelligence and to database systems. His research has centred on the algorithmic and logical aspects of knowledge representation, database queries, and recently for web data processing. His work has resulted in the invention of several efficient algorithms for constraint satisfaction, web data extraction and database query processing, some of which are now in widespread use. He has developed a common core to the underlying principles of artificial intelligence and databases. In his work on clarifying the intrinsic complexity of problems in these areas, Gottlob has solved open problems in computational logic, non-monotonic reasoning and database theory.[27]

Gottlob has also been designated as an ECCAI fellow [1] in 2002.

References

  1. Lua error in package.lua at line 80: module 'strict' not found.(subscription required)
  2. 2.0 2.1 Georg Gottlob's publications indexed by Google Scholar, a service provided by Google
  3. 3.0 3.1 Georg Gottlob at the Mathematics Genealogy Project
  4. Lua error in package.lua at line 80: module 'strict' not found.
  5. Lua error in package.lua at line 80: module 'strict' not found.
  6. Lua error in package.lua at line 80: module 'strict' not found.
  7. Lua error in package.lua at line 80: module 'strict' not found.
  8. Lua error in package.lua at line 80: module 'strict' not found.
  9. 9.0 9.1 Lua error in package.lua at line 80: module 'strict' not found.
  10. Georg Gottlob from the Association for Computing Machinery (ACM) Digital Library
  11. Lua error in package.lua at line 80: module 'strict' not found.
  12. Georg Gottlob's publications indexed by the Scopus bibliographic database, a service provided by Elsevier.
  13. Lua error in package.lua at line 80: module 'strict' not found.
  14. Lua error in package.lua at line 80: module 'strict' not found.
  15. Georg Gottlob's publications indexed by the DBLP Bibliography Server at the University of Trier
  16. Lua error in package.lua at line 80: module 'strict' not found.
  17. Lua error in package.lua at line 80: module 'strict' not found.
  18. Stefano Ceri, Georg Gottlob, and Letizia Tanca: Logic programming and databases. Springer-Verlag, 1990. ISBN 9783642839542
  19. Lua error in package.lua at line 80: module 'strict' not found.
  20. Lua error in package.lua at line 80: module 'strict' not found.
  21. Lua error in package.lua at line 80: module 'strict' not found.
  22. Lua error in package.lua at line 80: module 'strict' not found.
  23. Lua error in package.lua at line 80: module 'strict' not found.
  24. Lua error in package.lua at line 80: module 'strict' not found.
  25. Lua error in package.lua at line 80: module 'strict' not found.
  26. Lua error in package.lua at line 80: module 'strict' not found.
  27. Lua error in package.lua at line 80: module 'strict' not found.