BT

Facilitating the Spread of Knowledge and Innovation in Professional Software Development

Write for InfoQ

Topics

Choose your language

InfoQ Homepage Presentations From Quadcopters to Helicopters: Formal Verification for Safer Vehicles

From Quadcopters to Helicopters: Formal Verification for Safer Vehicles

Bookmarks
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.

Recorded at:

Mar 02, 2019

BT