Bernhard Steffen (born 31 May 1958 in

Kiel Kiel () is the capital and most populous city in the northern German state of Schleswig-Holstein, with a population of 246,243 (2021). Kiel lies approximately north of Hamburg. Due to its geographic location in the southeast of the Jutland pe ...

West Germany West Germany is the colloquial term used to indicate the Federal Republic of Germany (FRG; german: Bundesrepublik Deutschland , BRD) between its formation on 23 May 1949 and the German reunification through the accession of East Germany on 3 O ...

) is a German

computer scientist A computer scientist is a person who is trained in the academic study of computer science. Computer scientists typically work on the theoretical side of computation, as opposed to the hardware side on which computer engineers mainly focus ( ...

and professor at the TU Dortmund University, Germany. His research focuses on various facets of

formal methods In computer science, formal methods are mathematically rigorous techniques for the specification, development, and verification of software and hardware systems. The use of formal methods for software and hardware design is motivated by the exp ...

ranging from program analysis and verification, to workflow synthesis, to test-based modeling, and machine learning. After his

PhD PHD or PhD may refer to: * Doctor of Philosophy (PhD), an academic qualification Entertainment * '' PhD: Phantasy Degree'', a Korean comic series * ''Piled Higher and Deeper ''Piled Higher and Deeper'' (also known as ''PhD Comics''), is a newsp ...

at the

University of Kiel Kiel University, officially the Christian-Albrecht University of Kiel, (german: link=no, Christian-Albrechts-Universität zu Kiel, abbreviated CAU, known informally as Christiana Albertina) is a public research university in the city of Kiel, G ...

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 Aarhus University ( da, Aarhus Universitet, abbreviated AU) is a public research university with its main campus located in Aarhus, Denmark. It is the second largest and second oldest university in Denmark. The university is part of the Coimbra Gr ...

in 1989 as a postdoc. From 1990 to 1992 he was associate professor at the

RWTH Aachen RWTH Aachen University (), also known as North Rhine-Westphalia Technical University of Aachen, Rhine-Westphalia Technical University of Aachen, Technical University of Aachen, University of Aachen, or ''Rheinisch-Westfälische Technische Hoch ...

, before he became full professor at the

University of Passau The University of Passau (''Universität Passau'' in German) is a public research university located in Passau, Lower Bavaria, Germany. Founded in 1973, it is the youngest university in Bavaria and consequently has the most modern campus in th ...

. 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. In Dortmund he developed the concept of active automata learning to towards a practical means for model-based testing that does not require any a priori models. Recently his interest shifted towards the application of formal methods for explaining machine learning. His conceptual background comprises abstract interpretation, computer-aided verification and explanation, automata learning, and the development of domain-specific languages that guarantee properties by design. This is witnessed by receiving the Most Influential PLDI Paper Award for Lazy Code Motion, which is given 10 years in retrospective, and the CAV Artifact Award for the Open-Source LearnLib. Finally, in 2019 he was awarded the title of Honorary Professor of the AMITY School of Engineering and Technology. Furthermore, Steffen is founding Editor in Chief of STTT, Co-Founder of TACAS, ETAPS, ISoLA, RERS and member of the

editorial board The editorial board is a group of experts, usually at a publication, who dictate the tone and direction the publication's editorial policy will take. Mass media At a newspaper, the editorial board usually consists of the editorial page editor, ...

LNCS ''Lecture Notes in Computer Science'' is a series of computer science books published by Springer Science+Business Media since 1973. Overview The series contains proceedings, post- proceedings, monographs, and Festschrift In academia, a ''F ...

Journal and conference foundations

Bernhard Steffen co-founded the following journals and conferences * Tools and Algorithms for the Construction and Analysis of Systems (TACAS) *

European Joint Conferences on Theory and Practice of Software The European Joint Conferences on Theory and Practice of Software (ETAPS) is a confederation of (currently) four computer science conferences taking place annually at one conference site, usually end of March or early April. Three of the four confe ...

(ETAPS) *

International Symposium On Leveraging Applications of Formal Methods, Verification and Validation International is an adjective (also used as a noun) meaning "between nations". International may also refer to: Music Albums * ''International'' (Kevin Michael album), 2011 * ''International'' (New Order album), 2002 * ''International'' (The T ...

(ISoLA) * International Journal on Software Tools for Technology Transfer (STTT)

References

External links

* *
staff page
at TU Dortmund University
Personal website
{{DEFAULTSORT:Steffen, Bernhard 1958 births Living people German computer scientists Formal methods people University of Kiel alumni Academic staff of the Technical University of Dortmund Academic staff of the University of Passau