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

  • 181 views


  • Download
  • Share
    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

Patrick Cousot receives the IEEE John von Neumann Medal for his revolutionary work in the world of computer programming.

More

  • Published on
  • June 5, 2018

Avatar

Biography

Videos with