La médaille John von Neumann est une récompense attribuée tous les ans depuis 1992 par l'IEEE à une ou deux personnes en reconnaissance de leurs « accomplissements extraordinaires en sciences et technologies informatiques ». Elle est nommée en l'honneur de John von Neumann, pionnier de l'informatique. Les faits reconnus peuvent être d'ordre théorique, pratique ou entrepreneuriaux.
| Année | Nom(s) | Motivation(s) |
|---|---|---|
| 1992 | Gordon Bell (
| architecture des ordinateurs |
| 1993 | Frederick Brooks (
| architecture des ordinateurs, ingénierie logicielle enseignement et consultation en informatique |
| 1994 | John Cocke (
| Développement d'architectures RISC Techniques d'optimisation de programmes |
| 1995 | Donald Knuth (
| Théorie et pratique de l'informatique, art de la programmation |
| 1996 | Carver Mead (
| VLSI, structures microélectroniques |
| 1997 | Maurice Vincent Wilkes ( Royaume-Uni) | ordinateur à programme chargé en mémoire fondements de la programmation |
| 1998 | Ivan Sutherland (
| graphismes sur ordinateur, conception microélectronique soutien à la recherche en informatique et en ingénierie |
| 1999 | Douglas Engelbart (
| fondements de l'informatique personnelle interactive |
| 2000 | John Hennessy (
David Patterson ( | architecture des ordinateurs |
| 2001 | Butler Lampson (
| systèmes à temps partagé, algorithmique répartie, réseaux informatiques sécurité, langages de programmation |
| 2002 | Ole-Johan Dahl (
Kristen Nygaard ( | programmation orientée objet |
| 2003 | Alfred Aho (
| fondements de l'informatique, algorithmes, outils logiciels |
| 2004 | Barbara Liskov (
| langages de programmation, méthodologie, systèmes distribués |
| 2005 | Michael Stonebraker (
| bases de données relationnelles |
| 2006 | Edwin Catmull (
| graphismes et animations sur ordinateur |
| 2007 | Charles P. Thacker (
| ordinateur personnel, réseaux |
| 2008 | Leslie Lamport (
| algorithmique répartie et concurrente |
| 2009 | Susan L. Graham (
| langages de programmation |
| 2010 | John Hopcroft (
Jeffrey Ullman ( | automates, théorie des langages, informatique théorique |