Herd B Profilbild

Dr.

Benjamin Herd

Senior Researcher

Dr. Benjamin Herd studied Computer Science and Software Engineering at the Universities of Oxford and Hagen. He completed his doctorate at King's College London on the topic of formal and semi-formal verification of agent-based simulation models.

After many years as a research engineer and software developer in industrial companies and research institutions, Benjamin Herd has been a senior researcher at the Fraunhofer Institute for Cognitive Systems (IKS) in Munich since 2022. His research focuses on the application of formal methods in the field of safety assurance, with a particular focus on the formal substantiation of safety arguments using logic- and probability-based methods.