Sam is a Senior Architecture Researcher and the leader of the Model-Based Engineering initiative at Carnegie Mellon University’s Software Engineering institute.
His research interests include hazard analysis (including System Theoretic Process Analysis (STPA)), system architecture, and assurance / certification. He’s interested in using formal methods to automate or improve system safety via easy-to-use software tooling.