Marianne Bellotti

Principal Engineer at Rebellion Defense

Talk

Modeling Computer Systems
Friday 17:10 - 17:55
Topics:
formal verification
specification
modeling
reliability
Level:
General

Your rating:
0/5

An overview of the various ways to model computer systems. From the rigor of boolean logic and formal verification to the expressiveness of system dynamics, what tools are out there and how do they help us think about systems?

Check the slides

About

Marianne Bellotti has worked as a software engineer for over 15 years. She built data infrastructure for the United Nations to help humanitarian organizations share crisis data worldwide 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.