Georg Gottlob

Georg Gottlob
Född	( 1956-06-30 ) 30 juni 1956 Wien , Österrike
Nationalitet	österrikiska och italienska
Alma mater	Wiens tekniska universitet
Utmärkelser	Wittgenstein Award (1998) Royal Society Wolfson Research Merit Award (2006) FACM (2007) MAE MAAS Medlem av Leopoldina FRS (2010) ISI mycket citerad forskare
Vetenskaplig karriär
Fält	Algoritmer i artificiell intelligens och informationssystem Databaser Databasteori Beräkningskomplexitetsteori Logik i datavetenskap
institutioner	Oxfords universitet St John's College, Oxford Oxford-Man Institute Technische Universität Wien
Avhandling	Mehrwertige Logik – Aufbau und Anwendung in der Informatik (1981)
Doktorandrådgivare	Curt Christian
Doktorander	Stefan Szeider Helmut Veith
Hemsida	cs .ox .ac .uk /people /georg .gottlob

Georg Gottlob FRS är en österrikisk datavetare som arbetar inom databasteori, logik och artificiell intelligens och är professor i informatik vid University of Oxford .

Utbildning

Gottlob tog sin grund- och doktorsexamen i datavetenskap vid Wiens tekniska universitet 1981.

Karriär och forskning

Gottlob är för närvarande ordförande som professor i datavetenskap vid Oxford University Department of Computer Science, där han hjälpte till att etablera forskargruppen för informationssystem. Han är också en Fellow vid St John's College, Oxford . Tidigare var han professor i datavetenskap vid Wiens tekniska universitet , där han fortfarande har en adjungerad tjänst. Han valdes till medlem av Royal Society i maj 2010. Han är en av grundarna av Oxford-Man Institute .

Han har publicerat mer än 250 vetenskapliga artiklar inom områdena beräkningslogik , databasteori och artificiell intelligens , och en lärobok om logikprogrammering och databaser.

Inom området artificiell intelligens är han mest känd för sitt inflytelserika tidiga arbete om komplexiteten i icke-monotona logiker och om (generaliserad) hyperträdnedbrytning, ett ramverk för att erhålla lösta strukturella klasser av problem med begränsningstillfredsställelse , och en generalisering av begreppet träd nedbrytning från grafteori . Detta arbete har också haft en betydande inverkan i databasteorin, eftersom det är känt att problemet med att utvärdera konjunktiva frågor på relationsdatabaser är likvärdigt med problemet med tillfredsställelse av begränsningar. Hans senaste arbete med XML- frågespråk (särskilt XPath ) har hjälpt till att skapa komplexitetsteoretiska grunder för detta område.

Utmärkelser och utmärkelser

Gottlob har mottagit många utmärkelser och utmärkelser inklusive valet till Royal Society 2010. Hans nominering till Royal Society lyder:

Georg Gottlob har gjort grundläggande bidrag till både artificiell intelligens och databassystem. Hans forskning har fokuserat på de algoritmiska och logiska aspekterna av kunskapsrepresentation, databasfrågor och nyligen för webbdatabehandling. Hans arbete har resulterat i uppfinningen av flera effektiva algoritmer för tillfredsställelse av begränsningar , webbdataextraktion och bearbetning av databasförfrågningar , av vilka några nu används i stor utsträckning. Han har utvecklat en gemensam kärna till de underliggande principerna för artificiell intelligens och databaser. I sitt arbete med att klargöra den inneboende komplexiteten hos problem inom dessa områden har Gottlob löst öppna problem inom beräkningslogik , icke-monotona resonemang och databasteori.

Gottlob har också utsetts till ECCAI-stipendiat [1] 2002 och erhöll hedersdoktorer från universitetet i Klagenfurt (2016) och universitetet i Wien (2020).