WikiDer > Бернхард Штеффен (ученый-компьютерщик)

Bernhard Steffen (computer scientist)

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

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

Кроме того, Штеффен является членом редакционная коллегия из LNCS.[4]

Фонды журналов и конференций

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

Рекомендации

  1. ^ а б Штеффен, Бернхард. "РЕЗЮМЕ" (PDF). Получено 19 декабря 2013.
  2. ^ Кливленд, Рэнс; Парроу, Иоахим; Штеффен, Бернхард (1993). «Инструментальные средства параллелизма: инструмент на основе семантики для проверки параллельных систем». Транзакции ACM по языкам и системам программирования. 15: 36–72. CiteSeerX 10.1.1.35.8585. Дои:10.1145/151646.151648. S2CID 14200624.
  3. ^ ван Глаббек, Роб Дж .; Смолка, Скотт А .; Штеффен, Бернхард (1995). «Реактивные, генеративные и стратифицированные модели вероятностных процессов». Информация и вычисления. 121: 59–80. Дои:10.1006 / inco.1995.1123.
  4. ^ SpringerLink. «Конспект лекций по информатике».
  5. ^ "Сайт конференции ISoLA".
  6. ^ Springer. "Страница журнала STTT".

внешняя ссылка