1. Home
  2. IEEE.tv Specials
  3. 2018 IEEE Honors: IEEE John von Neumann Medal - Patrick Cousot

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

511 views
Download

Download

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

  • Share
IEEE Awards
#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

Next Up

00:06:25
2024 IEEE Masaru Ibuka Consumer Technology Award: Steve B. Furber and Sophie M. Wilson
>
00:10:29
Frank Kschischang Interview with Glenn Zorpette - 2023 VIC Summit Honors
>
00:21:59
Ingeborg J. Hochmair & Erwin Hochmair Interview with Glenn Zorpette - 2023 VIC Summit Honors
>
00:31:03
Rodney Brooks Interview with Glenn Zorpette - 2023 VIC Summit Honors
>
00:17:07
Hiroyuki Matsunami Interview with Glenn Zorpette - 2023 VIC Summit Honors
>
00:45:42
2023 IEEE VIC Summit and Honors Ceremony Welcome Celebration
>

Advertisment