Bernhard Steffen (computer scientist), Date of Birth, Place of Birth

    

Bernhard Steffen (computer scientist)

computer scientist

Date of Birth: 31-May-1958

Place of Birth: Kiel, Schleswig-Holstein, Germany

Profession: engineer, computer scientist, university teacher

Nationality: Germany

Zodiac Sign: Gemini


Show Famous Birthdays Today, Germany

👉 Worldwide Celebrity Birthdays Today

About 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.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 and authored one of the earliest papers on how to adequately model probabilistic processes, 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.Furthermore, Steffen is member of the editorial board of LNCS.

Read more at Wikipedia