InfoQ Homepage Presentations From Quadcopters to Helicopters: Formal Verification for Safer Vehicles
From Quadcopters to Helicopters: Formal Verification for Safer Vehicles
01:03:02
Summary
Kathleen Fisher explores the promises and limitations of current formal methods and techniques for producing useful software that probably does not contain exploitable bugs.
Bio
Kathleen Fisher is a Professor in and the Chair of the Computer Science Department at Tufts. Previously, she was a program manager at DARPA where she started and managed the HACMS and PPAML programs, a Consulting Faculty Member in the Computer Science Department at Stanford University, and a Principal Member of the Technical Staff at AT&T Labs Research. Kathleen is an ACM Fellow.
About the conference
Code Mesh LDN, the Alternative Programming Conference, focuses on promoting useful non-mainstream technologies to the software industry. The underlying theme is "the right tool for the job", as opposed to automatically choosing the tool at hand.
Mar 02, 2019
-
-
7 Reasons Not to Put an External Cache in Front of Your Database
Related Sponsored Content
-
-
Related Sponsor
/filters:no_upscale()/sponsorship/topic/e235ba45-310a-4df5-a765-76f3b5463eb2/ScyllaDBLogoRSB-1680280572596.png)
Community comments