Benjamin Herd

Dr.

Benjamin Herd

Senior Researcher

Dr. Benjamin Herd studierte Informatik und Software Engineering an den Universitäten Oxford und Hagen. Er promovierte am King's College London zum Thema formaler und semi-formaler Verifikation von agentenbasierten Simulationsmodellen.

Nach vielen Jahren als Forschungsingenieur und Softwareentwickler in Industrieunternehmen und Forschungseinrichtungen, ist Benjamin Herd seit 2022 als Senior Researcher am Fraunhofer-Institut für Kognitive Systeme (IKS) in München tätig. Sein Forschungsschwerpunkt liegt in der Anwendung formaler Methoden im Bereich der Safety Assurance, mit besonderem Fokus auf der formalen Untermauerung von Sicherheitsargumentationen durch logik- und wahrscheinlichkeitsbasierte Methoden.