Computer Logic Goes to Hollywood - a podcast by WHRO

The NASA Langley Formal Methods Team maintains a unique open source collection of mathematical proofs that support the development of safety-critical systems. And some of that code actually shows up in the movies.

Further episodes of Innovation Now

Further podcasts by WHRO

Website of WHRO