Marianne Bellotti

Author, Systems Geek, Relapsed Anthropologist

Marianne Bellotti is the author of books 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.


Formal Verification? No, Formal Reasoning!