Bernhard Steffen (Informatiker)

In diesem Artikel werden wir die faszinierende Welt von Bernhard Steffen (Informatiker) erkunden, ein Thema, das die Aufmerksamkeit von Menschen jeden Alters und jeder Herkunft geweckt hat. Von seinem Ursprung bis zu seinen Auswirkungen auf die heutige Gesellschaft war Bernhard Steffen (Informatiker) ein Thema von großem Interesse und Diskussionen. Wenn wir uns mit diesem Thema befassen, werden wir seine vielen Facetten und seine Relevanz in verschiedenen Kontexten entdecken. Von seinen historischen Ursprüngen bis hin zu seinen zeitgenössischen Anwendungen fordert uns Bernhard Steffen (Informatiker) immer wieder heraus, über das Offensichtliche hinauszuschauen und seine Auswirkungen auf unser tägliches Leben zu berücksichtigen. Mit diesem Artikel laden wir den Leser ein, sich mit diesem spannenden Thema zu befassen und über seine Bedeutung und Relevanz in der heutigen Welt nachzudenken.
In diesem Artikel oder Abschnitt fehlen noch folgende wichtige Informationen:
Biografie, Veröffentlichungen, etc.
Hilf der Wikipedia, indem du sie recherchierst und einfügst.

Bernhard Steffen (* 31. Mai 1958 in Kiel) ist ein deutscher Informatiker und Professor.

Leben

Steffen promovierte im Jahre 1983 an der Christian-Albrechts Universität Kiel in Mathematik und erhielt 1987 den Ph.D. in Computerwissenschaften. Anschließend war er Postdoktorand in Edinburgh und Aarhus. Nach einer Tätigkeit als außerordentlicher Professor an der RWTH Aachen wurde er 1993 Professor für Programmierungsysteme an der Universität Passau. Seit 1997 hält er den Lehrstuhl für Programmiersysteme an der Technischen Universität Dortmund.[1]

Seine Forschung konzentriert sich auf die verschiedenen Facetten der formalen Methoden, die von Programmanalyse und Überprüfung, um die Synthese Workflow, und testbasierte Modellierung. Zu diesen Themen hat er über 400 Publikationen veröffentlicht. Er ist Gründer und Herausgeber des Journal Software Tools for Technology Transfer (STTT) (STTT) im Springer Verlag.[1]

Einzelnachweise

  1. ↑ a b Bernhard Steffen: Lebenslauf (engl). (pdf) TU Dortmund, abgerufen am 13. März 2022.
Personendaten
NAME Steffen, Bernhard
KURZBESCHREIBUNG deutscher Informatiker und Professor
GEBURTSDATUM 31. Mai 1958
GEBURTSORT Kiel
Enciclo
Wikious
Scientia
Boobota
Anandapedia
Sagapedia