You Can Be Correct Sir

June 28, 2023 by Elio Grieco


For this meeting, we are back in Room SO1330 of the South Building at GateWay Community College, Washington Campus. Details below.

Schedule: Mon, Jul 3rd, 2023, 6:00-9:00pm MST

  • 6:00 - 6:30pm: Networking and Food
  • 6:30 - 6:40pm: Meeting Start and Announcements
  • 6:40 - 7:00pm: Cyber Threat Updates by Erik Graham
  • 7:10 - 8:45pm: You Can Be Correct Sir
  • 8:45 - 9:00pm: Wrap Up and Networking

Topic: You Can Be Correct Sir

A watch-along review of Making Software 'Correct by Construction' by Professor Martyn Thomas CBE. We'll watch this talk together and pause for any questions you might have during the talk.

In the video, professor Martyn Thomas covers techniques to build software with few to no bugs in less time than it takes build today's broken and insecure systems. He also covers case studies of cost and time to market for such software, putting to rest the mistaken belief that it "costs too much and takes too long" to build software properly. While some of the techniques are advanced, most of the principles discussed can be successfully applied in any software development team or project today.

And not a moment too soon as the cost of poor software quality in the US has grown to at least $2.41 trillion, while the accumulated software Technical Debt (TD) has grown to ~$1.52 trillion as of 2022. The public is becoming weary of the constant parade of patches that never seem to make our software any less buggy nor slow the ever increasing frequency and scale of cyber attacks.

Luckily, CISA's Secure by Design, Secure by Default initiative is a push in the right direction. It likely won't be long before insurance companies and regulators start to follow their lead and demand the reliability, security, and accountability that is the mark of any mature engineering discipline.

It's time to move deliberately and fix things.

Attend Virtually

Zoom meeting starts at: 6:15 PM MST (Arizona time)

Join the Zoom Meeting via computer or mobile:

Or call in via phone:
Meeting ID: 931 6477 4726
Passcode: 762310

One tap mobile
+16699009128,,93164774726#,,,,*762310# US (San Jose)
+17193594580,,93164774726#,,,,*762310# US

Local call-in numbers are available:

Attend in Person

Room SO1330 of the South Building at GateWay Community College, Washington Campus.

108 N 40th St,
Phoenix, AZ 85034

Map link to the Exact Location

Parking Map

Map of campus and parking options at Gateway Community College

South Building Map

Floorplan for the South Building and room SO1330 at Gateway Community College


Free pizza and soft drinks will be provided to all attendees. If you have other preferences, Speedy Street Tacos is within walking distance, just past the East parking lot. There are also a few other restaurants within a short drive of the college.

Back to top