Should We Trust Computers - Professor Martyn Thomas CBE

TL;DR

Current computer-based technology poses unreasonable risks due to dependencies on single point of failure and misuse of personal data.

Transcript

thank you very much and thank you all for coming to this lecture it's it's an honor and a privilege to be here and I'd like to thank the academic board of Gresham College and the worshipful company for making this possible it's going to be an interesting three year period and I hope that many of you will decide after tonight's lecture that actually... Read More

Key Insights

• ⚾ IT has brought about significant changes in various industries and sectors, but the extent of our dependency on computer-based technology is not widely recognized.
• 🤨 The misuse of personal data raises concerns about privacy and ethical considerations.
• ✋ Poor software quality and high levels of defects pose significant risks in terms of system failures and security vulnerabilities.
• 👔 Formal methods offer a potential solution to improving software quality and preventing defects and vulnerabilities.

Questions & Answers

Q: Why is GPS technology a cause for concern in terms of single point of failure?

GPS is used in various industries and sectors, and a disruption in the GPS signal can have significant consequences, such as accidents, financial losses, and communication failures.

Q: How is personal data being misused without individuals' knowledge?

Personal data is collected and analyzed without individuals' consent, leading to targeted advertising, price manipulation, and other uses that individuals may not be aware of or agree to.

Q: What are the implications of poor software quality?

Poor software quality can lead to system failures, safety hazards, and security vulnerabilities, which can result in financial losses, privacy breaches, and even loss of life.

Q: Why are formal methods important in software development?

Formal methods can provide strong evidence of software correctness and help identify and prevent defects and vulnerabilities. Despite misconceptions, they have been successfully used in major projects and can improve productivity and reliability.

Summary & Key Takeaways

• IT has greatly changed the way we work, play, and communicate, creating dependencies on computer-based technology that are not widely recognized.

• Personal data is being harvested and used for various purposes without individuals' consent, leading to concerns about privacy and data security.

• The quality of software development is poor, with high levels of defects that can lead to system failures and security vulnerabilities.