IEEE John von Neumann Medal - Patrick Cousot - 2018 IEEE Honors Ceremony

IEEE.tv Specials

• #IEEE
• #honors
• #2018
• #awards
• #medal
• #computing
• #abstract interpretation
• #mathematics
• #static program analysis
• #automatic program analysis
• #verification tools
• #nuclear reactors
• #ABS
• #airbags
• #software
• #systems

• Transcript

  IEEE.tv is made possible by the Members of IEEE.

  This feature is accessible to IEEE Members only, with an IEEE Account. If you are an IEEE Member please sign in to enable this feature.

  In addition to exclusive access to IEEE.tv programming, IEEE members have file download, and can save favorite videos with myTV.

  Discover all the benefits of IEEE membership!

  Belong to the world's largest technical proffecional society

  Join / Renew Today