stringtranslate.com

Бернхард Штеффен (специалист по информатике)

Бернхард Штеффен (родился 31 мая 1958 года в Киле , Западная Германия ) — немецкий учёный-компьютерщик и профессор Технического университета Дортмунда , Германия. Его исследования сосредоточены на различных аспектах формальных методов , начиная от анализа и проверки программ, синтеза рабочих процессов, моделирования на основе тестов и машинного обучения. [1]

После получения докторской степени в Кильском университете он провел два года в качестве научного сотрудника в LFCS (Эдинбург, Шотландия), где он был одним из разработчиков Edinburgh Concurrency Workbench [2] и написал одну из первых статей о том, как адекватно моделировать вероятностные процессы, [3] прежде чем присоединиться к Орхусскому университету в 1989 году в качестве постдока. С 1990 по 1992 год он был доцентом в Рейнско-Вестфальском техническом университете Ахена , прежде чем он стал полным профессором в Университете Пассау . С 1997 года он занимает кафедру систем программирования в Техническом университете Дортмунда , где он был деканом факультета компьютерных наук с 2002 по 2006 год, а также членом Сената в 2006 и 2007 годах. [1] В Дортмунде он разработал концепцию активного обучения автоматов для разработки практических средств для тестирования на основе моделей, которое не требует никаких априорных моделей. Недавно его интерес сместился в сторону применения формальных методов для объяснения машинного обучения.

Его концептуальный бэкграунд включает абстрактную интерпретацию, компьютерную проверку и объяснение, автоматическое обучение и разработку предметно-ориентированных языков, которые гарантируют свойства по замыслу. Об этом свидетельствует получение премии Most Influential PLDI Paper Award за Lazy Code Motion, которая вручается 10 лет спустя, и премии CAV Artifact Award за Open-Source LearnLib. Наконец, в 2019 году ему было присвоено звание почетного профессора Школы инженерии и технологий AMITY.

Кроме того, Штеффен является основателем и главным редактором STTT [4] , соучредителем TACAS, [5] ETAPS, [ 6] ISoLA, [7] RERS [8] и членом редакционной коллегии LNCS . [9]

Журналы и конференции

Бернхард Штеффен был соучредителем следующих журналов и конференций

Ссылки

  1. ^ ab Steffen, Bernhard. "CV" (PDF) . Получено 21 февраля 2022 г.
  2. ^ Кливленд, Рэнс; Парроу, Иоахим; Штеффен, Бернхард (1993). «The Concurrency Workbench: A Semantics-Based Tool for the Verification of Concurrent Systems». ACM Transactions on Programming Languages ​​and Systems . 15 : 36–72. CiteSeerX 10.1.1.35.8585 . doi :10.1145/151646.151648. S2CID  14200624. 
  3. ^ Ван Глаббик, Роб Дж.; Смолка, Скотт А.; Стеффен, Бернхард (1995). «Реактивные, генеративные и стратифицированные модели вероятностных процессов». Информация и вычисления . 121 : 59–80. doi : 10.1006/inco.1995.1123 . S2CID  180902.
  4. ^ аб Спрингер. «Страница журнала СТТТ».
  5. ^ ab "Сайт TACAS".
  6. ^ ab "Сайт ETAPS".
  7. ^ ab "Сайт конференции ISoLA".
  8. ^ "Сайт RERS".
  9. ^ SpringerLink. «Конспект лекций по информатике».

Внешние ссылки