engineer university professor computer scientist
After his Doctor of Philosophy 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 and authored one of the earliest papers on how to adequately model probabilistic processes, before joining the University of Aarhus in 1989 as a postdoctoral
His research focuses on various facets of formal methods ranging from program analysis and verification, to workflow synthesis, and to test-based modeling. From 1990 to 1992 he was associate professor at the Rheinisch-Westfälische Technische Hochschule Aachen, before he became full professor at the University of Passau. Bernhard Steffen co-founded the following journals and conferences
Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)
International Journal on Software Tools for Technology Transfer (STTT).
Since 1997 he holds the chair of programming systems at Technology Union 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. Furthermore, Steffen is member of the editorial board of LNCS.
