ステファン・ザイダー

シュテファン・ザイダーは、アルゴリズム、計算複雑性、理論計算機科学、特に命題充足可能性、制約充足問題、パラメータ化複雑性の分野に取り組むオーストリアのコンピュータ科学者です。彼はウィーン工科大学（TU Wien）の情報学部^{[ 1 ]}の正教授であり、アルゴリズムと複雑性グループの責任者、およびTU Wienのウィーン論理アルゴリズムセンター（VCLA）の共同議長を務めています。^{[ 2 ] [ 3 ]}

ザイダーはオーストリア科学アカデミーで数学者として働きながら、ヘルベルト・フライシュナー教授とゲオルク・ゴットロープ教授の指導の下、2001年にウィーン大学で数学の博士号を取得した。^{[ 4 ] [ 5 ]}

ザイダーは、ウィーン工科大学情報学部の正教授である。^{[ 1 ]}以前は、英国ダラム大学で講師、その後准教授を務め（2004～2009年）、トロント大学のスティーブン・クック教授の研究グループで博士研究員を務めた（2002～2004年）。^{[ 5 ] [ 6 ]}彼は、 2012年にヘルムート・ファイトと共に設立したウィーン論理アルゴリズムセンターの共同議長である。^{[ 7 ] [ 8 ]}彼は、 Journal of Computer and System Sciences、Journal of Discrete Algorithms、Journal of Artificial Intelligence Research、Fundamenta Informaticaeの編集委員を務めている。^{[ 5 ]}

Szeiderは、理論計算機科学、アルゴリズム、計算複雑性、人工知能、命題充足可能性、制約充足の分野で140以上の査読付き論文を発表した。^{[ 9 ] [ 10 ]}

Szeiderは、 SATやその他の問題に対するバックドアセットの概念を普及させたこと^{[ 11 ] [ 12 ]} 、および量化ブール式の依存関係スキームを導入したことで最もよく知られています。^{[ 13 ]}

Szeider は、ツリー幅やクリーク幅などのグラフの幅尺度についても研究しました。彼は共著者とともに、与えられたグラフのクリーク幅が与えられた境界よりも小さいかどうかを判定することがNP 困難であることを示しました。 ^{[ 14 ]}彼は、最小限充足不可能な式を検出するための複雑性結果を確立しました。^{[ 15 ] [ 16 ]}

• 公式サイト