![Jo Atlee](https://cs.uwaterloo.ca/sites/ca.computer-science/files/styles/thumbnail/public/uploads/images/jo_atlee-220x330.jpg?itok=y3hpUeC8)
Software controls many everyday electronics, like computers and smart phones, and is increasingly embedded in safety-critical systems like medical devices, transportation systems, and autonomous vehicles. Although difficult to detect, software errors can lead to loss of property, or even life.