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 |