55 min listen
Formal Verification with Matt Fernandez
FromCppCast
ratings:
Length:
55 minutes
Released:
Aug 31, 2018
Format:
Podcast episode
Description
Rob and Jason are joined by Matt Fernandez from Intel Labs to discuss Formal Verification. Matthew Fernandez is a Research Scientist with Intel Labs. Matt began his programming career building Windows GUI applications and designing databases, before moving into operating system architecture and security. He has a PhD in formal verification of operating systems from the University of New South Wales in Australia, and worked with the Australian research group Data61. In the past, he has worked on compilers, device drivers and hypervisors, and now spends his days exploring new tools and techniques for functional correctness and verification of security properties. On the weekends, you can usually find Matt in a park with a good book, hunting for good coffee or helping a newbie debug their code. He hopes to avoid saying “monad” on this podcast. News C++17 in Detail now available Cross-language interfaces between C and C++ Spaceship Operator Links The sel4 Microkernel Isabelle - Generic Proof Assistant The Coq Proof Assistant Dafny - Microsoft language and program verifier Z3 Theorem Prover Sponsors Backtrace Patreon CppCast Patreon Hosts @robwirving @lefticus
Released:
Aug 31, 2018
Format:
Podcast episode
Titles in the series (100)
SQLpp11 with Roland Bock: Rob and Jason are joined by Roland Bock to talk about sqlpp11 and some of Rolands ideas for the future of C++.Roland Bock is Head of Development at PPRO Financial Ltd, an FCA regulated e-Money institute offering prepaid MasterCard card programs and... by CppCast