Univ.-Prof. Dr. Georg Gottlob
Biographische Informationen und Publikationsliste
1 Derzeitige Position und Aufgaben
Ordentlicher Professor für Informatik an der Technischen Universität Wien. Leiter der Abteilung für Datenbanken und Informationssysteme.2 Tabellarischer Lebenslauf
- 30. Juni 1956 Geburt in Wien
- 1962 - 1966 Volksschule des Französischen Lyzeums, Wien.
- 1966 - 1974 Mittelschule des Französischen Lyzeums, Wien, mathematisch-naturwissenschaftlicher Zweig
- 28.Juni 1974 Matura
- 1974 - 1979 Studium der Technischen Mathematik und Informatik an der Technischen Universität Wien, sowie (bis 1981) Logistik an der Universität Wien.
- 13. Dez. 1979 Sponsion zum Diplom-Ingenieur für Informatik; Diplomarbeit : "Simulation von interaktiv gesteuerten Straßenbahnnetzen".
- Mai 1980 Bestellung zum Universitäts-Assistenten am Institut für Angewandte Informatik und Systemanalyse der Technischen Universität Wien (Prof.Dr.H.Kerner)
- Juni 1981 Promotion (mit Auszeichnung) zum Doktor der technischen Wissenschaften (TU Wien); Dissertationsthema: "Mehrwertige Logik - Aufbau und Anwendung in der Informatik". Doktorvater: Prof. DDr. Curt Christian.
- Sept. 1982 - Dez. 1984 Aufenthalt als wissenschaftlicher Mitarbeiter am Politecnico di Milano, Dipartimento di Elettronica (Abteilung für Elektronik der TU Mailand).
- Dezember 1983 Heirat mit Laura CARLOTTA aus Genua.
- Jan. 1984 - Dez. 1984 Leitender Konsulent für das technisch-wissenschaftliche Industrieprojekt DATANET-SAD: Entwicklung und Implementierung eines verteilten File-Servers für Olivetti Microcomputer, Mailand, A.R.G.-S.P.A.
- Jänner 1985 - Feb. 1988 Angestellt als Forschungsbeauftragter des Instituts für Angewandte Mathematik des C.N.R. (Italienischer Nationaler Forschungsrat), Genua, Italien
- Jun.-Sept.1985 und 1986 Aufenthalte an der Stanford University (Kalifornien) als Gastforscher und Lektor der Vorlesung "Distributed Databases"
- Wintersemester 1986/87 Lehrbeauftragter für "Datenbanktheorie" an der Technischen Universität Wien (Blocklehrveranstaltung)
- Juni-Juli 1987 Lehrbeauftragter an der Stanford University.
- Seit 1. März 1988 Ordentlicher Professor an der TU Wien, Institut für Informationssysteme, und Leiter der Abteilung für Datenbanken und Expertensysteme (Derzeit insgesamt ca. 17 Mitarbeiter).
- Oktober 1989 - März 1997 Leiter des Christian Doppler Labors für Expertensysteme (ein an der TU Wien errichtetes und von der Industrie finanziertes Labor für Grundlagenforschung auf dem Gebiet der Expertensysteme).
- 1991 - 1999 Institutsvorstand des Institutes für Informationssysteme der TU Wien.
- Sommersemester 1993 Forschungssemester an der ETH Zürich.
- 1998 Wittgensteinpreisträger
- Sommersemester 1999 Gastprofessor und McKay Lecturer an der Computer Science Division (EECS Dept.) der Universität Berkeley.
- Mai 1999 Wahl zum Korrespondierenden Mitglied der Österreichischen Akademie der Wissenschaften.
- März 2001 Erneute Wahl zum Institutsvorstand des Instituts für Informationssysteme der TU Wien.
- November 2001 Mitgründer der Firma Lixto Software GmbH, Wien.
- Februar 2002 Gastprofessor, Université Paris VII, Denis Diderot.
3 Forschungsinteressen
- Datenbanktheorie
- Komplexitätstheorie und konkrete Komplexität
- Logische Grundlagen der Künstlichen Intelligenz und der Datenbanken
- Internetprogrammierung und Internet-Informationssysteme
- Expertensysteme zur Diagnose technischer Anlagen
- Wissensverarbeitung- und Repräsentation
- Nichtmonotones Schließen
- Logische Programmierung und Deduktive Datenbanken
- Datenmodellierung und Softwareentwurf
4 Auslandsrufe.
- Ruf als "Professore Associato" für Informatik nach Italien im Jahr 1987. Wurde zugunsten des Ordinariats in Wien abgelehnt.
- Ruf auf eine C4-Professur für Datenbanksysteme an der Universität Dortmund im Jahre 1991.
- Ruf auf eine C4-Professur für Künstliche Intelligenz an der Universität Kiel (1991). Beide C4-Rufe wurden nach Bleibeverhandlungen mit dem Ministerium in Wien abgelehnt.
5 Eingeladene Konferenzvorträge
Einladung zu mehreren internationalen Kongressen und Tagungen, um die Forschungsresultate als invited speaker vorzustellen. Hiebei wurden die Reise- und Tagungskosten ganz oder teilweise von den einladenden Organisationen übernommen. Es folgt eine unvollständige Liste von Konferenzen oder Workshops, bei denen ein invited Talk gehalten wurde.- IEEE Symposium on Logic in Computer Science, Kopenhagen, Dänemark, 22-25 Juli 2002. - Logics in Artificial Intelligence JELIA'02, Cosenza, Italien, September 2002. - Ninth International Workshop on Nonmonotonic Reasoning NMR 2002, Toulouse, Frankreich, April 2002. - Symposium on the Effectiveness of Logic in Computer Science (ELICS), Saarbruecken, BRD, 4.-6. März 2002. - International Workshop on Logic Programming and Nonmonotonic Reasoning (LPNMR), Wien, 2001. - 26th International Symposium on Mathematical Foundations of Computer Science (MFCS'01), Marienbad, CFR, 2001. - 5th International Conference on Developments in Language Theory, Wien, Juli 16-21, 2001. - 7th International Conference on Logic Programming and Automated Reasoning (LPAR 2000), Reunion Island, Frankreich, November 2000. - 10th International Conference on Database and Expert Systems Applications (DEXA'99), Florenz, Italien, Oktober/September 1999. - Batumi International Symposium on Logic, Language, and Computation (ILLC'99), Batumi, Georgia, September 1999. - International Symposium on Knowledge Representation and Reasoning (KR'96), Cambridge, MA, Nov. 1996. - 20th International Symposium on Mathematical Foundations of Computer Science (MFCS'95), Prag, 1995. - 11th International Logic Programming Symposium (ILPS), Ithaca, NY, 1994. - 12th International Conference on Fundamentals of Computation Theory, (FCT'97), Krakau, September 1997. - Second Intern. Workshop on Logic Programming and Nonmonotonic Reasoning (LPNMR), Lissabon, 1993. - Logics in Artificial Intelligence JELIA'94, York, UK, 1994. - International Summer School on Logic Programming, Alghero, Italien, Juni 1996. - Conference on Inductive Logic programming (ILP'97), Prag, September 1997. - Italian Artificial Intelligence Conference 1997, Rom, Sept. 1997. - Workshop on Proof Theory, Complexity and Meta-mathematics, Kurt Gödel Society, Wien, April 1994. - European Conference on Computer Assisted Systems Theory (EUROCAST), Innsbruck, 1995. - First COMPULOG Net Meeting on Knowledge Bases, München, 1992. - Logic Colloquium 95, Haifa, Israel, 1995. Workshop on Nonmonotonic Reasoning.Sonstige Einladungen und Gastaufenthalte: Etwa 90 Vorträge an verschiedenen Universitäten oder Forschungsinstitutionen, die hier nicht einzeln aufgelistet werden. Darüberhinaus, Forschungs- und Unterrichtstätigkeit an verschiedenen Universitäten, z.B. Stanford University (insgesamt etwa 9 Monate), UNAM Mexico (Intensivkurs, 1 Woche), ETH Zürich (ein Forschungssemester), Univ. of California, Berkeley (Spring term), Université Paris VII. Viele weitere Kurzbesuche werden hier nicht erwähnt.
6 Preise und Anerkennungen.
- 1988: Preis der Italienischen Vereinigung der Elektronik-Ingenieure für wissenschaftliche Leistungen auf dem Gebiet der Datenbanken (gemeinsam mit P. Paolini und R. Zicari).
- 1995: Silbermedaille der Universität Helsinki für wissenschaftlichen Leistungen auf dem Gebiet der Informatik
- 1996: Ernennung zum Senior Fellow der Christian Doppler Gesellschaft als Anerkennung für außerordentlichen Einsatz bei der Leitung des Christian Doppler Labors für Expertensysteme.
- 1998: Ludwig Wittgenstein Preis des FWF.
- 1999: Einladung als McKay Lecturer und Gastprofessor an die University of California at Berkeley.
- 1999: Ernennung zum Korrespondierenden Mitglied der Österreichischen Akademie der Wissenschaften.
- 1999: Best Paper Award (with F. Scarcello and M. Sideri) für die Arbeit Fixed Parameter Complexity in Artificial Intelligence and Logic Programming bei der 5th International Conference on Logic Programming and Nonmonotonic Reasoning El Paso, Texas., 1999.
- 2000: Ernennung zum Ehrenmitglied der Kantonalen Akademie der Wissenschaften von Guizhou, Guyang, China.
- 2002 Best Paper Award (with Ch. Koch) für die Publikation "Monadic Datalog and the Expressive Power of Web Information Extraction", bei dem 21st ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS), Wisconsin, Madison, Mai/Juni 2002.
- 2002: Ernennung zum Fellow der ECCAI (Europäische Gesellschaft für Künstliche Intelligenz.)
7 Programmkommitees internationaler Konferenzen
Vorsitze:- Vorsitzender des Programmkommitees der International Joint Conference on Artificial Intelligence 2003, (IJCAI'03), Acapulco, Mexico, 2003.
- Vorsitzender des Programmkommitees des ACM Symposium on Principles of Database Systems 2000 (ACM-PODS'00), Dallas, Texas, Mai 2000.
- Vorsitzender des Programmkomitees der International Conference on Database Theory 1995, Prag, CR, 1995. (Gemeinsam mit co-chair Moshe Vardi.)
- Programkomiteevorsitzender des internationalen Workshops Expert Systems in Engineering, 1990. (Gemeinsam mit W. Nejdl.)
- Programmkommitteevorsitzender (mit co-chair E. Grandjean) der Konferenz Computer Science Logic (CSL), Brünn, CR, 1989.
- Vorsitzender mehrerer konferenzbegleitender Workshops.
Mitgliedschaften: Mitglied von über 50 Programmkomitees. Eine Auswahl davon ist:
- Intern. Joint Conference on Artificial Intelligence 2001 (IJCAI'01). - Constraint Programming (CP'01) 2001. - Intern. Colloquium on Automata, Languages and Programming (ICALP), 1997. - Intern. Conference on Computational Complexity , (CCC) 1997 - Logic in Computer Science, (LICS) 1996. - ACM SIGMOD Symposium on Principles of Database Systems (PODS), 1994. - European Conference on Artificial Intelligence (ECAI), 1996. - Intl. Symposium on Knowledge Representation and Reasoning (KR) 1994. - International Conference on Data Engineering, 1987, 1988, 1989, 1991. - International Conference on Extending Database Technology (EDBT), 1988, 1992 (Org. Chairman). - International Conference on Very Large Data Bases (VLDB) 1989, 1990, 1995. - International Conference on Deductive and Object-Oriented Databases (DOOD91), 1991, 1994. - Symposium on Mathematical Fundamentals of Database and Knowledge Base Systems (MFDBS), 1991.
8 Herausgeberschaft von Zeitschriften.
Hauptherausgeber (Editor in Chief) von AI Communications. Mitherausgeber oder Mitglied des Fachbeirats der folgenden wissenschaftlichen Zeitschriften:- Journal of Computer and System Sciences
- IEEE Transactions on Knowledge and Data Engineering
- Artificial Intelligence
- Theory and Practice of Logic Programming (Area Editor)
- Web Intelligence and Agent Systems
- Journal of Discrete Algorithms
- Informatica
- Chicago Journal of Theoretical Computer Science
- Very Large Databases (VLDB Journal, 1993-1998)
- Computing (1992-1996)
- Journal of Artificial Intelligence Research (1996-98)
- Journal of Logic Programming (1997-2000)
- Journal on Information Processing and Cybernetics (1994-1996)
- Annals of the Kurt Gödel Society.
9 Mitgliedschaft in wissenschaftlichen Gremien
- Fachbeiräte
- Mitglied des Board of Trustees für die International Joint Conferences on Artificial Intelligence.
- European Association for Computer Science Logic, Scientific Council
- European Association for Theoretical Computer Science (bis 2000).
- Kurt Gödel Gesellschaft, Vorstand
- Steering Committee der ACM PODS Konferenzen
- Institut für Informatik des Consiglio Nazionale delle Ricerche (CNR) in Cosenza, Italien, wissenschaftl. Beirat
- SOFSEM Seminar in der Tschechischen Republik, wiss. Beirat,
- Senat der Christian Doppler Gesellschaft (Bis Ende 2000).
- Internationale Akademische Gremien. Tätigkeit in vielen (bzw. für viele) ademischen Gremien verschiedener Universitäten u.a. Tenure Evaluator der Univ. of California, der Univ. of Illinois, der University of Maryland und vieler anderer; Mitglied von vielen PhD. Committees und Habilitationskommissionen im Ausland, usw. Von einer Auflistung wird abgesehen.
- Mitgliedschaft in EU Networks of Excellence Das Institut für Informationssysteme der TU Wien unter Leitung von G. Gottlob wurde in die Networks of Excellence COMPULOG (Computationale Logik und IDOMENEUS (Datenbanken) aufgenommen.
10 Förderung von wissenschaftlichem Nachwuchs
Die folgenden ehemaligen Assistenten Gottlobs wurden bisher auf Professorenstellen berufen:- Dr. Markus Stumptner (Full Prof., Univ. of Southern Australia, Adelaide)
- Dr. Wolfgang Nejdl (C3-Prof. in Aachen; danach C4-Prof. in Hannover)
- Dr. Michael Schrefl (O.Prof. in Linz)
- Dr. Christian Stary (O.Prof. in Linz)
- Dr. Thomas Eiter (C3-Prof. in Giessen; danach O. Prof. in Wien)
- Dr. Gerhard Friedrich (O.Prof. in Klagenfurt)
- Dr. Helmut Veith (C3-Ruf an die RWTH Aachen- dzt. in Verhandlung)
- Dr. Franz Wotawa (Univ.-Prof. TU Graz)