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

511 views
Download
  • Share
#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