Stefan Szeider

Stefan Szeider
Stefan Szeider
Nationalitet	österrikisk
Alma mater	Universitetet i Wien
	Vetenskaplig karriär
Fält	; ; ; ; ; Algoritmer Komplexitet Teoretisk datavetenskap Boolesk tillfredsställelse Begränsningstillfredsställelse Parameteriserad komplexitet
institutioner	; ; ; TU Wien University of Durham University of Toronto Österrikiska vetenskapsakademin
Doktorerade rådgivare	; Herbert Fleischner Georg Gottlob

Stefan Szeider är en österrikisk datavetare som arbetar med områdena algoritmer , beräkningskomplexitet , teoretisk datavetenskap och mer specifikt med propositionell tillfredsställelse , problem med begränsningstillfredsställelse och parametriserad komplexitet . Han är professor vid fakulteten för informatik vid Wiens tekniska universitet (TU Wien), chef för Algorithms and Complexity Group och medordförande för Wien Center for Logic and Algorithms (VCLA) vid TU Wien.

Utbildning

Szeider doktorerade i matematik från universitetet i Wien 2001 under ledning av professorerna Herbert Fleischner och Georg Gottlob medan han arbetade som matematiker vid Österrikiska vetenskapsakademin .

Karriär och forskning

Szeider är professor vid fakulteten för informatik vid TU Wien . Tidigare var han först lektor och sedan läsare vid University of Durham , Storbritannien (2004–2009) och postdoc vid professor Stephen Cooks grupp vid University of Toronto (2002–2004). Han är medordförande för Wiens centrum för logik och algoritmer, som han grundade tillsammans med Helmut Veith 2012. Han sitter i redaktionen för Journal of Computer and System Sciences , Journal of Discrete Algorithms , Journal of Artificial Underrättelseforskning och Fundamenta Informaticae .

Szeider publicerade mer än 140 refererade publikationer inom områdena teoretisk datavetenskap, algoritmer, beräkningskomplexitet, artificiell intelligens, propositionell tillfredsställelse och begränsningstillfredsställelse.

Szeider är mest känd för att popularisera begreppet bakdörrsset för SAT och andra problem och införandet av beroendesystem för kvantifierade booleska formler .

Szeider arbetade också med breddmått för grafer som trädbredd och klickbredd . Han visade med medförfattare att det är NP-svårt att avgöra om klickbredden på en given graf är mindre än en given gräns. Han etablerade komplexitetsresultat för att upptäcka minimalt otillfredsställande formler .

externa länkar

Officiell hemsida