Nationality Austrian and Italian Name Georg Gottlob | Residence Oxford, United Kingdom Doctoral advisor Curt Christian | |
 | ||
Born 30 June 1956 (age 67)
Vienna, Austria ( 1956-06-30 ) Institutions University of Oxford
St John's College, Oxford
Oxford-Man Institute
Technische Universitat Wien Alma mater Vienna University of Technology Thesis Mehrwertige Logik - Aufbau und Anwendung in der Informatik (1981) Doctoral students Dmitri Akatov
Michal Ceresna
Robert Chandradoss
Jose Diaz Prado
Thomas Eiter
Christian Fermuller
Michael Fink
Wolfgang Gatterbauer
Xiaonan Guo
Marcus Herzog
Ondrej Jaura
Stefan Katzenbeisser
Thomas Korimort
Bruno Marnette
Zoltan Miklos
Reinhard Pichler
Kurt Reichinger
Gernot Salzer
Marko Samer
Andrew Sellers
Wolfgang Slany
Stefan Szeider
Hans Tompits
Helmut Veith Notable awards Wittgenstein Award (1998)
Royal Society Wolfson Research Merit Award (2006)
FACM
MAE
MAAS
Member of the Leopoldina
FRS (2010)
ISI highly cited researcher Education Vienna University of Technology Fields Information system, Database, Computational complexity theory People also search for Stefano Ceri, Curt Christian, E. Grandjean, Andras Benczur | ||
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.
Contents
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. 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.
In the area of artificial intelligence, he is best known for his influential early work on the complexity of nonmonotonic logics and on (generalised) hypertree decompositions, a framework for obtaining tractable structural classes of constraint satisfaction problems, and a generalisation 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. His recent work on XML query languages (notably XPath) has helped create the complexity-theoretical foundations of this area.
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:
Gottlob has also been designated as an ECCAI fellow [1] in 2002.