Seminar - Knowing your software
School of Engineering and Computer Science Seminar
Speaker: Associate Professor Patrick Lam (University of Waterloo, Canada)
Time: Thursday 22nd April 2021 at 03:00 PM - 04:00 PM
Location: Cotton 431
Whether at the level of phone apps (e.g. a 1* rated app on the Google Play Store) or critical government systems (e.g. Canada's fiasco-laden Phoenix government payroll software), observing software failures in the wild is far easier than it should be. Yet few software developers set out to create faulty software. I will focus on the gap between expectations and reality in today's world. I will discuss tools and techniques for specifying and analyzing software (specifications, static and dynamic analysis, and testing), especially in the context of evolving software systems, and discuss the strengths and opportunities for improvements in these technologies.
- Patrick Lam is an Associate Professor of Electrical and Computer Engineering at the University of Waterloo and a Visiting Scholar at VUW, having just completed his term a Director of Waterloo's Software Engineering Program. His research interests focus on static analysis, particularly of developer-supplied information like annotations and test cases. Patrick has been making a concerted effort to enjoying New Zealand's outdoors.
This talk is part of the New Zealand Software Innovation Seminar Series: https://softwareinnovation.nz/seminars/