Médaille John von Neumann
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[1].
Lauréats
| Année | Nom(s) | Motivation(s) |
|---|---|---|
| 1992 | Gordon Bell ( États-Unis)
|
architecture des ordinateurs |
| 1993 | Frederick Brooks ( États-Unis)
|
architecture des ordinateurs, ingénierie logicielle enseignement et consultation en informatique |
| 1994 | John Cocke ( États-Unis)
|
Développement d'architectures RISC Techniques d'optimisation de programmes |
| 1995 | Donald Knuth ( États-Unis)
|
Théorie et pratique de l'informatique, art de la programmation |
| 1996 | Carver Mead ( États-Unis)
|
VLSI, structures microélectroniques |
| 1997 | Maurice Vincent Wilkes (.svg){kind=small} Royaume-Uni)
|
ordinateur à programme chargé en mémoire fondements de la programmation |
| 1998 | Ivan Sutherland ( États-Unis)
|
graphismes sur ordinateur, conception microélectronique soutien à la recherche en informatique et en ingénierie |
| 1999 | Douglas Engelbart ( États-Unis)
|
fondements de l'informatique personnelle interactive |
| 2000 | John Hennessy ( États-Unis) David Patterson ( États-Unis)
|
architecture des ordinateurs |
| 2001 | Butler Lampson ( États-Unis)
|
systèmes à temps partagé, algorithmique répartie, réseaux informatiques sécurité, langages de programmation |
| 2002 | Ole-Johan Dahl ( Norvège)Kristen Nygaard ( Norvège)
|
programmation orientée objet |
| 2003 | Alfred Aho ( Canada)
|
fondements de l'informatique, algorithmes, outils logiciels |
| 2004 | Barbara Liskov ( États-Unis)
|
langages de programmation, méthodologie, systèmes distribués |
| 2005 | Michael Stonebraker ( États-Unis)
|
bases de données relationnelles |
| 2006 | Edwin Catmull ( États-Unis)
|
graphismes et animations sur ordinateur |
| 2007 | Charles P. Thacker ( États-Unis)
|
ordinateur personnel, réseaux |
| 2008 | Leslie Lamport ( États-Unis)
|
algorithmique répartie et concurrente |
| 2009 | Susan L. Graham ( États-Unis)
|
langages de programmation |
| 2010 | John Hopcroft ( États-Unis) Jeffrey Ullman ( États-Unis)
|
automates, théorie des langages, informatique théorique |
| 2011 | Tony Hoare | Fondations de la conception de logiciels |
| 2012 | Edward J. McCluskey | Ingénierie des ordinateurs |
| 2013 | Jack Dennis | Calcul parallèle |
| 2014 | Cleve Moler | Développement en MATLAB |
| 2015 | James Gosling[4] | Création de Java |
| 2016 | Christos Papadimitriou | « For providing a deeper understanding of computational complexity and its implications for approximation algorithms, artificial intelligence, economics, database theory, and biology. » |
| 2017 | Vladimir Vapnik | « For the development of statistical learning theory, the theoretical foundations for machine learning, and support vector machines. » |
| 2018 | Patrick Cousot | « For introducing abstract interpretation, a powerful framework for automatically calculating program properties with broad application to verification and optimization. » |
Références
- (en) « IEEE John von Neumann Medal », IEEE (consulté le )
- (en) « IEEE John von Neumann Medal Recipients », IEEE (consulté le )
- « IEEE John von Neumann Medal Recipients »
- « Prix IEEE 2015 ».
