A blog by Angela Hall for the work-from-home developer

Formal Methods

The key to creating great software is rigorous documentation, formal specification, mathematical proof of concept, methodical creation, and extremely thorough testing. Like many others, in 2020 I started working from home where the tasks and challenges of my day include a lot of things not traditionally considered “engineering”. While attempting to master making cookies I realized that the same formalism and rigor that has served me so well in the workplace can be applied to all the tasks and challenges of my new life. This blog chronicles my never-ending quest for constant improvement – both personal and professional – and is a platform for an ongoing conversation with people who share my interests. Welcome!

About Me

Image description

Cool. Now lets automate it.

-Angela Hall