Bernhard Steffen (computer scientist)

Bernhard Steffen (born 31 May 1958 in Kiel, West Germany) is a German computer scientist and professor at the TU Dortmund University, Germany. His research focuses on various facets of formal methods ranging from program analysis and verification, to workflow synthesis, and to test-based modeling.[1]

After his PhD at the University of Kiel he spent two years as a research fellow at the LFCS (Edinburgh, Scotland) where he co-developed the Edinburgh Concurrency Workbench[2] and authored one of the earliest papers on how to adequately model probabilistic processes,[3] before joining the University of Aarhus in 1989 as a postdoc. From 1990 to 1992 he was associate professor at the RWTH Aachen, before he became full professor at the University of Passau. Since 1997 he holds the chair of programming systems at TU Dortmund University where he was Dean of Computer Science between 2002 and 2006 as well as a member of the Senate in 2006 and 2007.[1]

Furthermore, Steffen is member of the editorial board of LNCS.[4]

Journal and conference foundationsEdit

Bernhard Steffen co-founded the following journals and conferences


  1. ^ a b Steffen, Bernhard. "CV" (PDF). Retrieved 19 December 2013.
  2. ^ Cleaveland, Rance; Parrow, Joachim; Steffen, Bernhard (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 doi:10.1145/151646.151648. S2CID 14200624.
  3. ^ van Glabbeek, Rob J.; Smolka, Scott A.; Steffen, Bernhard (1995). "Reactive, generative, and stratified models of probabilistic processes". Information and Computation. 121: 59–80. doi:10.1006/inco.1995.1123.
  4. ^ SpringerLink. "Lecture Notes in Computer Science".
  5. ^ "ISoLA Conference Website".
  6. ^ Springer. "STTT Journal Page".
  7. ^ Springer. "Transactions on Foundations for Mastering Change". Retrieved 2021-02-15.

External linksEdit