Formal Verification with Matt Fernandez

<p style="margin: 0in; font-family: Calibri; font-size: 11.0pt;"> Rob and Jason are joined by Matt Fernandez from Intel Labs to discuss Formal Verification.</p> <p style="margin: 0in; font-family: Calibri; font-size: 11.0pt;">  </p> <p style= "padding: 0px; margin: 10px 0px 15px 0px; border: 0px initial initial;"> 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.</p> <h3 style= "font-weight: bold; -webkit-font-smoothing: antialiased; font-size: 18px; padding: 0px; margin: 20px 0px 10px 0px; border: 0px initial initial;"> News</h3> <ul style= "padding: 0px 0px 0px 30px; margin: 15px 0px 15px 0px; border: 0px initial initial;"> <li style= "padding: 0px; margin: 0px; border: 0px initial initial;"><a style= "color: #4183c4; text-decoration: none; padding: 0px; margin: 0px; border: 0px initial initial;" href="https://leanpub.com/cpp17indetail/c/cppcast" target="_blank" rel="noopener">C++17 in Detail now available</a></li> <li style= "padding: 0px; margin: 0px; border: 0px initial initial;"><a style= "color: #4183c4; text-decoration: none; padding: 0px; margin: 0px; border: 0px initial initial;" href= "https://gustedt.wordpress.com/2017/08/08/cross-language-interfaces-between-c-and-c/" target="_blank" rel="noopener">Cross-language interfaces between C and C++</a></li> <li style= "padding: 0px; margin: 0px; border: 0px in