Dr. Benjamin C. Herd
Angestellt, Senior Researcher, Fraunhofer IKS
München, Deutschland
Werdegang
Berufserfahrung von Benjamin C. Herd
Bis heute 2 Jahre und 2 Monate, seit Apr. 2022
Founder
HERD Complexity
Bis heute 5 Jahre, seit Juni 2019
Chief Scientific Officer
GlobalABM Ltd
5 Jahre, Sep. 2015 - Aug. 2020
Visiting Research Fellow
Department of Informatics, King's College London
3 Jahre und 11 Monate, Juli 2015 - Mai 2019
Forschungsingenieur
Robert Bosch GmbH, Forschung und Vorausentwicklung
Game theory, multiagent systems & simulation, Economy of Things, Blockchain technology
1 Monat, Nov. 2016 - Nov. 2016
Gastdozent
HECTOR School of Engineering and Management
1 Jahr und 5 Monate, Feb. 2014 - Juni 2015
Research Associate
King's College London
Multiagent systems & simulation, software verification (model checking), formal methods
5 Jahre und 1 Monat, Mai 2010 - Mai 2015
Software & Research Engineer
Sandtable Ltd., London (UK)
Agent-based modelling, software engineering, C++ development
1 Jahr und 2 Monate, Apr. 2009 - Mai 2010
Software Engineer
Icon Technology & Process Consulting Ltd., Windsor (UK)
2 Jahre und 7 Monate, Sep. 2006 - März 2009
Wissenschaftlicher Mitarbeiter
FZI Forschungszentrum Informatik, Karlsruhe
2 Jahre, Sep. 2004 - Aug. 2006
Software-Entwickler
MagicMaps GmbH, Pliezhausen
6 Monate, Sep. 2003 - Feb. 2004
Trainee Software Development
MagicMaps GmbH, Pliezhausen
6 Monate, März 2003 - Aug. 2003
Trainee Software Development
Tecnomatix GmbH, Stuttgart
Ausbildung von Benjamin C. Herd
2012 - 2015
Software Engineering
University of Oxford (Exeter College)
Functional Programming, Concurrent Programming, Software Engineering Mathematics, Model Checking (CSP), Concurrency & Distributed Systems (CSP), Performance Modelling, Software Product Lines, Specification & Design (Z notation), Safety Critical Systems, Security Principles
2010 - 2014
Informatik
King's College London
Dissertation: Statistical runtime verification of agent-based simulations
2005 - 2007
Informatik
FernUniversität Hagen
Künstliche Intelligenz und intelligente Informationssysteme
2000 - 2004
Informatik
nta Hochschule Isny
Sprachen
Deutsch
Muttersprache
Englisch
Fließend