Bernd Westphal

Bernd Westphal is affiliated with the German Aerospace Center (DLR) as part of the Institute for Systems Engineering for Future Mobility. Previously, he was associated with the Software Engineering Chair at the University of Freiburg, as indicated by links in his profile. His research focuses on formal methods, real-time systems, and education informatics, with particular emphasis on applications in wireless sensor networks and software modeling.

He has held teaching roles at the University of Freiburg, instructing courses such as Software Engineering, Cyber-Physical Systems, and Program Verification since at least 2012. His academic contributions include advancing visual formalisms for requirements engineering and integrating formal methods into SMEs and educational contexts.

Westphal’s professional activities span software modeling, real-time systems analysis, and tool development (e.g., Ultimate, SMTInterpol). He has also engaged in collaborative projects like AVACS and Salomo, addressing challenges in hybrid systems verification and model-based testing.