Бернхард Штеффен (ученый-компьютерщик)
Бернхард Штеффен (родился 31 мая 1958 года в Киле , Западная Германия ) — немецкий ученый-компьютерщик и профессор Технического университета Дортмунда , Германия. Его исследования сосредоточены на различных аспектах формальных методов : от анализа и проверки программ до синтеза рабочих процессов, моделирования на основе тестирования и машинного обучения. [1]
После получения докторской степени в Кильском университете он два года проработал научным сотрудником в LFCS (Эдинбург, Шотландия), где он участвовал в разработке Edinburgh Concurrency Workbench. [2] и автор одной из первых статей о том, как адекватно моделировать вероятностные процессы, [3] прежде чем поступить в Орхусский университет в 1989 году в качестве постдока. С 1990 по 1992 год он был доцентом RWTH Ахена , а затем стал профессором Университета Пассау . С 1997 года он возглавляет кафедру систем программирования в Техническом университете Дортмунда , где он был деканом факультета компьютерных наук с 2002 по 2006 год, а также членом Сената в 2006 и 2007 годах. [1] В Дортмунде он разработал концепцию активного обучения автоматов, чтобы найти практические средства тестирования на основе моделей, не требующие каких-либо априорных моделей. Недавно его интерес сместился в сторону применения формальных методов для объяснения машинного обучения.
Его концептуальный опыт включает абстрактную интерпретацию, компьютерную проверку и объяснение, автоматическое обучение и разработку предметно-ориентированных языков, которые гарантируют свойства по замыслу. Свидетельством тому является получение награды «Самая влиятельная бумага PLDI» за Lazy Code Motion, которая присуждается через 10 лет назад, а также награды CAV Artifact Award за библиотеку LearnLib с открытым исходным кодом. Наконец, в 2019 году ему было присвоено звание Почетного профессора Школы инженерии и технологий AMITY.
Кроме того, Штеффен является основателем главного редактора журнала STTT. [4] Соучредитель ТАКАС, [5] ЭТАП, [6] Остров, [7] РРС [8] член редколлегии LNCS . и [9]
Фонды журналов и конференций
[ редактировать ]Бернхард Штеффен стал соучредителем следующих журналов и конференций.
- Инструменты и алгоритмы построения и анализа систем (TACAS) [5]
- Европейские совместные конференции по теории и практике программного обеспечения (ETAPS) [6]
- Международный симпозиум по использованию формальных методов, верификации и валидации (ISoLA) [7]
- Международный журнал по программным инструментам для передачи технологий (STTT) [4]
Ссылки
[ редактировать ]- ^ Jump up to: а б Штеффен, Бернхард. «Резюме» (PDF) . Проверено 21 февраля 2022 г.
- ^ Кливленд, Рэнс; Пэрроу, Иоахим; Штеффен, Бернхард (1993). «Инструменты Concurrency: семантический инструмент для проверки параллельных систем». Транзакции ACM в языках и системах программирования . 15 : 36–72. CiteSeerX 10.1.1.35.8585 . дои : 10.1145/151646.151648 . S2CID 14200624 .
- ^ ван Глаббек, Роб Дж.; Смолка, Скотт А.; Штеффен, Бернхард (1995). «Реактивные, генеративные и стратифицированные модели вероятностных процессов» . Информация и вычисления . 121 : 59–80. дои : 10.1006/inco.1995.1123 . S2CID 180902 .
- ^ Jump up to: а б Спрингер. «Страница журнала СТТТ» .
- ^ Jump up to: а б «Сайт ТАКАС» .
- ^ Jump up to: а б «Сайт ЭТАПС» .
- ^ Jump up to: а б «Веб-сайт конференции ISoLA» .
- ^ «Сайт РЭРС» .
- ^ СпрингерЛинк. «Конспект лекций по информатике» .
Внешние ссылки
[ редактировать ]- Бернхард Штеффен на DBLP библиографическом сервере
- Публикации Бернхарда Штеффена, проиндексированные Google Scholar
- Страница сотрудников Технического университета Дортмунда
- Персональный сайт
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Другой | |