![Jo Atlee](https://uwaterloo.ca/computer-science/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.