The Logic of Real Proofs
Listen now
Description
George Gonthier delivers a lecture at FLoc2018 Creative Commons Attribution-Non-Commercial-Share Alike 2.0 UK: England & Wales; http://creativecommons.org/licenses/by-nc-sa/2.0/uk/
More Episodes
The future of robotics raises important questions for humanity. Will robots be able to act as agents in their own right and make moral and ethical decisions? Impressive advances in artificial intelligence mean robots may become capable of replacing human beings in every task imaginable. What are...
Published 07/18/18
Amazon Web Services (AWS) uses and develops tools based on formal verification to reason about the security of AWS itself, as well as the security of systems that customers build on AWS. This talk will focus on how AWS services connect customers to logic-based techniques, as well as how AWS uses...
Published 07/18/18