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

512 views
Download
  • Share
Create Account or Sign In to post comments
#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. View the list of 2018 IEEE Medal and Recognition recipients

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

Advertisment

Advertisment