Стефан Зейдер
Стефан Зейдер | |
|---|---|
| Национальность | австрийский |
| Альма-матер | Венский университет |
| Научная карьера | |
| Поля | Алгоритмы Сложность Теоретическая информатика Булева выполнимость Удовлетворение ограничений Параметризованная сложность |
| Учреждения | ТУ Вена Университет Дарема Университет Торонто Австрийская академия наук |
| Докторские консультанты | Герберт Флейшнер Георг Готтлоб |
Стефан Зейдер — австрийский ученый-компьютерщик, который работает в области алгоритмов , вычислительной сложности , теоретической информатики и, более конкретно, над пропозициональной выполнимостью , проблемами удовлетворения ограничений и параметризованной сложностью . Он профессор факультета информатики. [1] в Венском технологическом университете (TU Wien), руководитель группы «Алгоритмы и сложность» и сопредседатель Венского центра логики и алгоритмов (VCLA) Венского технического университета. [2] [3]
Образование
[ редактировать ]Зейдер получил докторскую степень по математике в Венском университете в 2001 году под руководством профессоров Герберта Фляйшнера и Георга Готтлоба , работая математиком в Австрийской академии наук . [4] [5]
Карьера и исследования
[ редактировать ]Зейдер — профессор факультета информатики Венского технического университета . [1] Ранее он был сначала преподавателем, а затем читателем в Университете Дарема , Великобритания (2004–2009 гг.), а также постдоком в профессора Стивена Кука группе в Университете Торонто (2002–2004 гг.). [5] [6] Он является сопредседателем Венского центра логики и алгоритмов, который он основал вместе с Хельмутом Фейтом в 2012 году. [7] [8] Он входит в состав редакционных коллегий журналов « Журнал компьютерных и системных наук» , « Журнал дискретных алгоритмов» , «Журнал исследований искусственного интеллекта» и «Фундамента информатика» . [5]
Зейдер опубликовал более 140 рецензируемых публикаций в области теоретической информатики, алгоритмов, сложности вычислений, искусственного интеллекта, выполнимости предложений и удовлетворения ограничений. [9] [10]
Зейдер наиболее известен популяризацией идеи бэкдор-наборов для SAT и других проблем. [11] [12] и введение схем зависимостей для количественных логических формул . [13]
Зейдер также работал над мерами ширины графов, такими как ширина дерева и ширина клика . Вместе с соавторами он показал, что NP-трудно определить, меньше ли ширина клики данного графа заданной границы. [14] Он установил результаты по сложности для обнаружения минимально невыполнимых формул . [15] [16]
Ссылки
[ редактировать ]- ^ Перейти обратно: а б «Факультет информатики Венского технического университета» . Проверено 13 января 2017 г.
- ^ «Штефан Зейдер — Группа алгоритмов и сложности» . Проверено 9 января 2017 г.
- ^ «Учёные-компьютерщики Венского технического университета хотят стать международным брендом» . Стандарт (на немецком языке) . 25 января 2012 года . Проверено 20 апреля 2020 г.
- ^ «Штефан Зейдер - Проект математической генеалогии» . Проект математической генеалогии . Проверено 9 января 2017 г.
- ^ Перейти обратно: а б с «Штефан Зейдер» . Логикс . Проверено 9 января 2017 г.
- ^ «Что здесь означает «нерастворимый»? Профессор Стефан Зейдер на портрете» . Проверено 13 января 2017 г.
- ^ «Алгоритмы управляют нашей жизнью» . Futurezone.at (на немецком языке). 8 февраля 2012 года . Проверено 9 января 2017 г.
- ^ «Центр основ информатики» . Стандарт (на немецком языке). 31 января 2012 года . Проверено 9 января 2017 г.
- ^ «Штефан Зейдер — профессор, руководитель группы алгоритмов и сложности Венского технического университета» . Google Академик . Проверено 9 января 2017 г.
- ^ «Штефан Зейдер - Библиография по информатике» . ДБЛП .
- ^ Гасперс, Серж; Зейдер, Стефан (2012). «Черные ходы к удовлетворению». Многомерная алгоритмическая революция и не только . Конспекты лекций по информатике. Том. 7370. стр. 287–317. CiteSeerX 10.1.1.747.5422 . дои : 10.1007/978-3-642-30891-8_15 . ISBN 978-3-642-30890-1 . S2CID 6905561 .
- ^ Гасперс, Серж (22 апреля 2016 г.). «Бэкдоры к SAT». Энциклопедия алгоритмов . Спрингер Нью-Йорк. стр. 167–170. дои : 10.1007/978-1-4939-2864-4_781 . ISBN 978-1-4939-2863-7 .
{{cite book}}: CS1 maint: отсутствует местоположение издателя ( ссылка ) - ^ Самер, Марко; Зейдер, Стефан (18 декабря 2008 г.). «Черные наборы количественных логических формул». Журнал автоматизированного рассуждения . 42 (1): 77–97. CiteSeerX 10.1.1.452.5953 . дои : 10.1007/s10817-008-9114-5 . S2CID 13030704 .
- ^ Товарищи, Майкл Р.; Розамонд, Фрэнсис А.; Ротикс, Уди; Зейдер, Стефан (январь 2009 г.). «Ширина клики является NP-полной». SIAM Journal по дискретной математике . 23 (2): 909–939. дои : 10.1137/070687256 .
- ^ Зейдер, Стефан (декабрь 2004 г.). «Минимальные невыполнимые формулы с ограниченной разницей между предложениями и переменными легко обрабатываются с фиксированными параметрами» (PDF) . Журнал компьютерных и системных наук . 69 (4): 656–674. дои : 10.1016/j.jcss.2004.04.009 .
- ^ Флейшнер, Герберт; Куллманн, Оливер; Зейдер, Стефан (октябрь 2002 г.). «Полиномиальное распознавание минимальных невыполнимых формул с фиксированной разностью переменных предложения» . Теоретическая информатика . 289 (1): 503–516. дои : 10.1016/S0304-3975(01)00337-1 .
