Dr. Joachim Fröhlich, ACM Senior und IEEE Member, arbeitet für die Siemens AG und beschäftigt sich mit Techniken, Methoden und Prozessen für Entwicklung und Test von Software für verlässliche Systeme.