Georga Gottloba

Georga Gottloba
Urodzić się	( 30.06.1956 ) 30 czerwca 1956 Wiedeń , Austria
Narodowość	austriacki i włoski
Alma Mater	Politechnika Wiedeńska
Nagrody	Nagroda Wittgensteina (1998) Nagroda Royal Society Wolfson Research Merit Award (2006) FACM (2007) MAE MAAS Członek Leopoldyny FRS (2010) Wysoko cytowany badacz ISI
Kariera naukowa
Pola	Algorytmy w sztucznej inteligencji i systemach informacyjnych Bazy danych Teoria baz danych Teoria złożoności obliczeniowej Logika w informatyce
Instytucje	Uniwersytet Oksfordzki Kolegium Świętego Jana w Oksfordzie Instytut Oxford-Man Technische Universität Wien
Praca dyplomowa	Mehrwertige Logik – Aufbau und Anwendung in der Informatik (1981)
Doradca doktorski	Curt Christian
Doktoranci	Stefana Szeidera Helmuta Veitha
Strona internetowa	cs .ox .ac .uk /people /georg .gottlob

Georg Gottlob FRS jest austriackim informatykiem zajmującym się teorią baz danych , logiką i sztuczną inteligencją oraz profesorem informatyki na Uniwersytecie Oksfordzkim .

Edukacja

Gottlob uzyskał tytuł licencjata i doktora informatyki na Politechnice w Wiedniu w 1981 roku.

Kariera i badania

Gottlob jest obecnie profesorem informatyki na Wydziale Informatyki Uniwersytetu Oksfordzkiego , gdzie pomógł założyć grupę badawczą systemów informatycznych. Jest także członkiem St John's College w Oksfordzie . Wcześniej był profesorem informatyki na Politechnice Wiedeńskiej , gdzie nadal pełni funkcję adiunkta. W maju 2010 został wybrany członkiem Royal Society. Jest członkiem-założycielem Instytutu Oxford-Man .

Opublikował ponad 250 artykułów naukowych z dziedziny logiki obliczeniowej , teorii baz danych i sztucznej inteligencji oraz jeden podręcznik programowania logicznego i baz danych.

W dziedzinie sztucznej inteligencji jest najbardziej znany ze swojej wpływowej wczesnej pracy nad złożonością logiki niemonotonicznej i (uogólnionymi) dekompozycjami hiperdrzewa, ramy do uzyskiwania możliwych do rozwiązania klas strukturalnych problemów spełniania ograniczeń oraz uogólnienia pojęcia drzewa dekompozycja z teorii grafów . Ta praca miała również znaczący wpływ na teorię baz danych, ponieważ wiadomo, że problem oceny zapytań koniunkcyjnych w relacyjnych bazach danych jest równoważne problemowi spełnienia ograniczeń. Jego niedawne prace nad językami zapytań XML (zwłaszcza XPath ) pomogły w stworzeniu teoretycznych podstaw złożoności w tej dziedzinie.

Nagrody i wyróżnienia

Gottlob otrzymał wiele nagród i wyróżnień, w tym wybór do Towarzystwa Królewskiego w 2010 roku. Jego nominacja do Towarzystwa Królewskiego brzmi:

Georg Gottlob wniósł fundamentalny wkład zarówno w sztuczną inteligencję, jak i systemy baz danych. Jego badania koncentrowały się na algorytmicznych i logicznych aspektach reprezentacji wiedzy, zapytaniach do baz danych, a ostatnio na przetwarzaniu danych internetowych. Jego praca zaowocowała wynalezieniem kilku wydajnych algorytmów spełniania ograniczeń , ekstrakcji danych sieciowych i przetwarzania zapytań do baz danych , z których niektóre są obecnie w powszechnym użyciu. Opracował wspólny rdzeń podstawowych zasad sztucznej inteligencji i baz danych. W swojej pracy nad wyjaśnieniem wewnętrznej złożoności problemów w tych obszarach, Gottlob rozwiązywał otwarte problemy w logice obliczeniowej , rozumowaniu niemonotonicznym i teorii baz danych.

Gottlob został również wyznaczony jako stypendysta ECCAI [1] w 2002 roku i otrzymał doktoraty honoris causa Uniwersytetu w Klagenfurcie (2016) i Uniwersytetu Wiedeńskiego (2020).