Бернхард Штеффен (родился 31 мая 1958 года в Киле , Западная Германия ) - немецкий ученый-компьютерщик и профессор Технического университета Дортмунда , Германия. Его исследования сосредоточены на различных аспектах формальных методов - от анализа и проверки программ до синтеза рабочих процессов и моделирования на основе тестов. [1]
После получения докторской степени в Кильском университете он два года проработал научным сотрудником в LFCS (Эдинбург, Шотландия), где он участвовал в разработке Edinburgh Concurrency Workbench [2] и написал одну из первых статей о том, как адекватно моделировать вероятностные процессы. , [3] до прихода в Орхусский университет в 1989 г. в качестве постдока. С 1990 по 1992 год он был адъюнкт-профессором RWTH Aachen , прежде чем он стал профессором Университета Пассау . С 1997 года он заведует кафедрой систем программирования в Дортмундском университете, где был деканом.Кандидат компьютерных наук с 2002 по 2006 год, а также член Сената в 2006 и 2007 годах. [1]
Кроме того, Штеффен является членом редколлегии из LNCS . [4]
Фонды журналов и конференций [ править ]
Бернхард Штеффен стал соучредителем следующих журналов и конференций
- Инструменты и алгоритмы построения и анализа систем (TACAS)
- Международный симпозиум по использованию формальных методов, верификации и валидации (ISoLA) [5]
- Международный журнал программных средств для передачи технологий (STTT) [6]
- Сделки по фондам для освоения изменений (FoMaC) [7]
Ссылки [ править ]
- ^ а б Штеффен, Бернхард. «Резюме» (PDF) . Проверено 19 декабря 2013 года .
- ^ Кливленд, Рэнс; Парроу, Иоахим; Штеффен, Бернхард (1993). «Инструментальные средства параллелизма: инструмент на основе семантики для проверки параллельных систем». Транзакции ACM по языкам и системам программирования . 15 : 36–72. CiteSeerX 10.1.1.35.8585 . DOI : 10.1145 / 151646.151648 . S2CID 14200624 .
- ^ ван Глаббек, Роб Дж .; Смолка, Скотт А .; Штеффен, Бернхард (1995). «Реактивные, генеративные и стратифицированные модели вероятностных процессов» . Информация и вычисления . 121 : 59–80. DOI : 10.1006 / inco.1995.1123 .
- ^ SpringerLink. «Конспект лекций по информатике» .
- ^ "Сайт конференции ISoLA" .
- ^ Спрингер. "Страница журнала STTT" .
- ^ Спрингер. «Сделки по основам освоения изменений» . Проверено 15 февраля 2021 .
Внешние ссылки [ править ]
- Бернхард Штеффен из Библиографического сервера DBLP
- Публикации Бернхарда Штеффена, проиндексированные Google Scholar
- страница сотрудников в TU Dortmund University
