Strange Loop

Building Safety Critical Systems

A crash course in safety for software engineers, drawing on decades of safety science research and modern practices of modeling and verification. This workshop looks at one safety critical system and teaches the participant how to reason about it and develop effective controls. No prior knowledge of verification or safety required.

Marianne Bellotti

Rebellion Defense

Marianne Bellotti is the author of Kill It With Fire, Building Safety Critical Systems, and Hiring Engineers, as well as a popular column on technology and system safety. She has built data infrastructure for the United Nations to help humanitarian organizations share crisis data and tackled some of the oldest and most complicated computer systems in the world as part of United States Digital Service. At Auth0 she ran Platform Services, a portfolio that included shared services, untrusted code execution, and developer tools. Currently she runs engineering teams at Rebellion Defense. She can be found on most social networks under the handle bellmar.