Prix Kanellakis
- Prix Kanellakis
-
Prix Paris Kanellakis
Le Prix Paris Kanellakis est décerné par l'ACM depuis 1996, pour honorer les avancées théoriques ayant un impact important et démontrable sur l'informatique pratique.
Lauréats
- 1996
- 1997
- 1998
- Randal Bryant
- Edmund Clarke
- Allen Emerson
- Kenneth McMillan
- 1999
- 2000
- 2001
- 2002
- 2003
- 2004
- Yoav Freund
- Robert Schapire
- 2005
- Gerard Holzmann
- Robert Kurshan
- Moshe Vardi
- Pierre Wolper
- 2006
- 2007
- 2008
Voir aussi
Articles connexes
Liens externes
Portail de l’informatique
Catégories : Prix Paris Kanellakis | Prix scientifique
Wikimedia Foundation.
2010.
Contenu soumis à la licence CC-BY-SA. Source : Article Prix Kanellakis de Wikipédia en français (auteurs)
Regardez d'autres dictionnaires:
Prix Paris Christos Kanellakis — Prix Paris Kanellakis Le Prix Paris Kanellakis est décerné par l ACM depuis 1996, pour honorer les avancées théoriques ayant un impact important et démontrable sur l informatique pratique. Sommaire 1 Lauréats 2 Voir aussi 2.1 Articles connexes … Wikipédia en Français
Prix Paris Kanellakis — Le Prix Paris Kanellakis est décerné par l ACM depuis 1996, pour honorer les avancées théoriques ayant un impact important et démontrable sur l informatique pratique. Sommaire 1 Lauréats 2 Voir aussi 2.1 Articles connexes … Wikipédia en Français
Jacob Ziv — Jacob Ziv, lors d une conférence Nom de naissance יעקב זיו Naissance 27 … Wikipédia en Français
Moshe Vardi — Moshe Ya akov Vardi Naissance Domicile États Unis Nationalité israélienne Champs informatique théorique, logique … Wikipédia en Français
Abraham Lempel — lors de la cérémonie de remise de sa médaille Richard Hamming en 2007 à Haifa en Israël … Wikipédia en Français
Bruno Buchberger — Pour les articles homonymes, voir Buchberger. Bruno Buchberger. Bruno Buchberger est un mathématicien autrichien né le 22 … Wikipédia en Français
Association for Computing Machinery — Pour les articles homonymes, voir ACM. Association for Computing Machinery Contexte général … Wikipédia en Français
Robert Tarjan — Robert Endre Tarjan (né le 30 avril en 1948 à Pomona en Californie) est un informaticien américain. Il a découvert de nombreux algorithmes en théorie des graphes, dont plusieurs portent son nom, tels l algorithme de Tarjan pour les composantes… … Wikipédia en Français
Michael O. Rabin — Michael Rabin Pour l’article homonyme, voir Michael Rabin (violoniste). Michael O. Rabin (né en 1931 à Breslau en Allemagne, maintenant Wrocław en Pologne) est un informaticien et un logicien ; il a été récipiendaire du prix… … Wikipédia en Français
Michael Rabin — Pour l’article homonyme, voir Michael Rabin (violoniste). Michael Rabin Michael Oser Rabin (né en 1931 à Breslau en Allemagne, maintenant … Wikipédia en Français
