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.
Join Cheriton School of Computer Science Professor Joanne Atlee as she examines software modelling and automated analysis techniques to detect hard-to-find errors in software, as well as how problems can be resolved on the fly at run time.
Feel free to bring your lunch — light refreshments will be provided. Research Talks is supported by the Research Support Fund.
200 University Avenue West
Waterloo, ON N2L 3G1
Canada