Georg Gottlob

Georg Gottlob (né le 30 juin 1956 à Vienne) est un informaticien autrichien. Il travaille principalement dans les domaines de la théorie des bases de données, de la logique et de l'intelligence artificielle. Il est professeur à l'université d'Oxford.

Georg Gottlob

Biographie
Naissance	30 juin 1956 Vienne
Nationalité	Autrichienne
Domicile	Oxford
Formation	Université technique de Vienne
Activités	Informaticien, professeur d'université

Autres informations
A travaillé pour	Université d'Oxford (depuis 2006), université technique de Vienne
Membre de	Académie Léopoldine Association for Computing Machinery Académie autrichienne des sciences UK Computing Research Committee (d) Academia Europaea (2006) Royal Society (2010)
Maître	Curt Christian (d)
Site web	(en) www.cs.ox.ac.uk/people/georg.gottlob
Distinctions	Liste détaillée Bourse Wolfson Prix Cardinal-Innitzer (d) Wittgenstein-Prize (1998) ACM Fellow (2007) Médaille Lovelace (2017)

Biographie

Georg Gottlob effectue des études en informatique à l'Université technique de Vienne et obtient son doctorat en 1981[1] sous la direction de Curt Christian avec une thèse intitulée Mehrwertige Logik - Aufbau und Anwendung in der Informatik. Depuis 1988, il est professeur d'informatique à l'Université technique de Vienne, où il occupe toujours un poste d'enseignant en tant que professeur adjoint. En 2006, il est nommé professeur à Oxford. Il est membre du St Anne's College. Il cofonde le Information Systems Research Group au sein du laboratoire d'informatique de l'Université d'Oxford.

Recherche

Gottlob a publié plus de 200 articles scientifiques, ainsi qu'un manuel sur la programmation logique et les bases de données[2]

Dans le domaine de l'intelligence artificielle, il est surtout connu pour ses premiers travaux influents sur la complexité des logiques non monotones[3]^,[4] et sur la décomposition généralisée en hyper-arbres[5]^,[6] un cadre pour obtenir des classes structurelles tractables de problèmes satisfaction de contraintes, et une généralisation de la notion de décomposition en arbre en théorie des graphes.

Ces travaux ont également eu un impact important dans la théorie des bases de données, puisque l'évaluation de requêtes conjonctives dans les bases de données relationnelles est équivalent au problème de la satisfaction des contraintes[7] Ses travaux sur XML (notamment XPath) ont contribué aux études de complexité dans ce domaine[8]^,[9]^,[10].

Récompenses et distinctions

Adhésions et distinctions académiques

Membre de l'Académie autrichienne des sciences
Membre de l'Académie allemande des sciences Leopoldina (depuis 2006)
Membre de l'Academia Europaea
Fellow de l'Association for Computing Machinery (ACM)
Membre de la Royal Society (2010[11])
Doctorat honoris causa de l'Alpen-Adria-Universität Klagenfurt (2016)
Doctorat honoris causa de l'Université de Vienne (2020)

Prix

Prix Wittgenstein (1998)
Bourse Wolfson (2006)
ERC Avanced Grant (2011)
Prix Cardinal Innitzer (2013)
Médaille Lovelace (2017)

Références

(en) « Georg Gottlob », sur le site du Mathematics Genealogy Project
Stefano Ceri, Georg Gottlob et Letizia Tanca, Logic programming and databases, Springer-Verlag, coll. « Surveys in Computer Science », 1990, xiii, + 284 (ISBN 978-3-642-83954-2 et 978-3-642-83952-8).
G. Gottlob, « Complexity Results for Nonmonotonic Logics », Journal of Logic and Computation, vol. 2, n^o 3,‎ 1992, p. 397–425 (DOI 10.1093/logcom/2.3.397)
T. Eiter et G. Gottlob, « On the complexity of propositional knowledge base revision, updates, and counterfactuals », Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems - PODS '92,‎ 1992, p. 261–273 (ISBN 978-0897915199, DOI 10.1145/137097.137886, S2CID 674242)
T. Eiter et G. Gottlob, « Identifying the Minimal Transversals of a Hypergraph and Related Problems », SIAM Journal on Computing, vol. 24, n^o 6,‎ 1995, p. 1278 (DOI 10.1137/S0097539793250299, CiteSeer^x 10.1.1.37.883)
G. Gottlob, N. Leone et F. Scarcello, « Hypertree Decompositions and Tractable Queries », Journal of Computer and System Sciences, vol. 64, n^o 3,‎ 2002, p. 579 (DOI 10.1006/jcss.2001.1809, arXiv cs/9812022, S2CID 121575202)
Phokion G. Kolaitis et Moshe Y. Vardi, « Conjunctive-Query Containment and Constraint Satisfaction », Journal of Computer and System Sciences, vol. 61, n^o 2,‎ 2000, p. 302–332 (DOI 10.1006/jcss.2000.1713)
T. Furche, G. Gottlob, G. Grasso, C. Schallhart et A. Sellers, « OXPath: A language for scalable data extraction, automation, and crawling on the deep web », The VLDB Journal, vol. 22,‎ 2012, p. 47–72 (DOI 10.1007/s00778-012-0286-6, S2CID 14542107)
G. Gottlob, C. Koch et R. Pichler, « Efficient algorithms for processing XPath queries », ACM Transactions on Database Systems, vol. 30, n^o 2,‎ 2005, p. 444 (DOI 10.1145/1071610.1071614, S2CID 904373, CiteSeer^x 10.1.1.18.9591)
Georg Gottlob, Christoph Koch, Reinhard Pichler et Luc Segoufin, « The complexity of XPath query evaluation and XML typing », Journal of the ACM, vol. 52, n^o 2,‎ 2005, p. 284–335 (ISSN 0004-5411, DOI 10.1145/1059513.1059520).
science.orf.at: Informatiker Gottlob: Fellow der Royal Society (21 mai 2010)

Liens externes

Notices d'autorité :
Ressources relatives à la recherche :
- Google Scholar
- ResearchGate
- (en) Digital Bibliography & Library Project
- (en) Mathematics Genealogy Project
- (en) ORCID
- (en-GB + en) Royal Society
- (mul) Scopus
Page personnelle à l'Université d'Oxford
Page personnelle à la TU Wien

Portail de l’informatique
Portail de l'informatique théorique

Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.

[1] (en) « Georg Gottlob », sur le site du Mathematics Genealogy Project

[2] Stefano Ceri, Georg Gottlob et Letizia Tanca, Logic programming and databases, Springer-Verlag, coll. « Surveys in Computer Science », 1990, xiii, + 284 (ISBN 978-3-642-83954-2 et 978-3-642-83952-8).

[3] G. Gottlob, « Complexity Results for Nonmonotonic Logics », Journal of Logic and Computation, vol. 2, n^o 3,‎ 1992, p. 397–425 (DOI 10.1093/logcom/2.3.397)

[4] T. Eiter et G. Gottlob, « On the complexity of propositional knowledge base revision, updates, and counterfactuals », Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems - PODS '92,‎ 1992, p. 261–273 (ISBN 978-0897915199, DOI 10.1145/137097.137886, S2CID 674242)

[5] T. Eiter et G. Gottlob, « Identifying the Minimal Transversals of a Hypergraph and Related Problems », SIAM Journal on Computing, vol. 24, n^o 6,‎ 1995, p. 1278 (DOI 10.1137/S0097539793250299, CiteSeer^x 10.1.1.37.883)

[6] G. Gottlob, N. Leone et F. Scarcello, « Hypertree Decompositions and Tractable Queries », Journal of Computer and System Sciences, vol. 64, n^o 3,‎ 2002, p. 579 (DOI 10.1006/jcss.2001.1809, arXiv cs/9812022, S2CID 121575202)

[7] Phokion G. Kolaitis et Moshe Y. Vardi, « Conjunctive-Query Containment and Constraint Satisfaction », Journal of Computer and System Sciences, vol. 61, n^o 2,‎ 2000, p. 302–332 (DOI 10.1006/jcss.2000.1713)

[8] T. Furche, G. Gottlob, G. Grasso, C. Schallhart et A. Sellers, « OXPath: A language for scalable data extraction, automation, and crawling on the deep web », The VLDB Journal, vol. 22,‎ 2012, p. 47–72 (DOI 10.1007/s00778-012-0286-6, S2CID 14542107)

[9] G. Gottlob, C. Koch et R. Pichler, « Efficient algorithms for processing XPath queries », ACM Transactions on Database Systems, vol. 30, n^o 2,‎ 2005, p. 444 (DOI 10.1145/1071610.1071614, S2CID 904373, CiteSeer^x 10.1.1.18.9591)

[GottlobKoch2005-10] Georg Gottlob, Christoph Koch, Reinhard Pichler et Luc Segoufin, « The complexity of XPath query evaluation and XML typing », Journal of the ACM, vol. 52, n^o 2,‎ 2005, p. 284–335 (ISSN 0004-5411, DOI 10.1145/1059513.1059520).

[11] science.orf.at: Informatiker Gottlob: Fellow der Royal Society (21 mai 2010)