Georg Gottlob
![](http://upload.wikimedia.org/wikipedia/commons/thumb/e/e7/Georg_gottlob-official3.png/120px-Georg_gottlob-official3.png)
Naissance | ![]() Vienne ![]() |
---|---|
Nationalité | autrichienne ![]() |
Domicile | Oxford ![]() |
Formation | |
Activités | Informaticien, professeur d'université ![]() |
A travaillé pour | |
---|---|
Membre de | Academia Europaea () Association for Computing Machinery () Royal Society () Académie Léopoldine Académie autrichienne des sciences UK Computing Research Committee (d) ![]() |
Maître | Curt Christian (d) ![]() |
Site web | (en) www.cs.ox.ac.uk/people/georg.gottlob ![]() |
Distinctions | Liste détaillée Wittgenstein-Prize () ACM Fellow () Médaille Lovelace () Prix de la ville de Vienne en sciences naturelles () Prix Cardinal-Innitzer (d) Bourse Wolfson ![]() |
modifier - modifier le code - modifier Wikidata
Georg Gottlob (né le à 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é de Calabre.
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 », , 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, no 3, , 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, , 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, no 6, , p. 1278 (DOI 10.1137/S0097539793250299, CiteSeerx 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, no 3, , 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, no 2, , 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, , 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, no 2, , p. 444 (DOI 10.1145/1071610.1071614, S2CID 904373, CiteSeerx 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, no 2, , 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é
:
- VIAF
- ISNI
- BnF (données)
- IdRef
- LCCN
- GND
- CiNii
- Pays-Bas
- Israël
- NUKAT
- Norvège
- Tchéquie
- Lettonie
- WorldCat
- Ressources relatives à la recherche
:
- Digital Bibliography & Library Project
- Dimensions
- Google Scholar
- Mathematics Genealogy Project
- ORCID
- ResearchGate
- Royal Society
- Scopus
- Page personnelle à l'Université d'Oxford
- Page personnelle à la TU Wien
Portail de l’informatique
Portail de l'informatique théorique
Portail de l'Autriche