Prix Paris Christos Kanellakis

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

Lauréats

1996
1997
1998
  • Randal Bryant
  • Edmund Clarke
  • Allen Emerson
  • Kenneth McMillan
1999
2000
  • Narendra Karmarkar
2001
  • Eugene Myers
2002
  • Peter Franaszek
2003
2004
  • Yoav Freund
  • Robert Schapire
2005
  • Gerard Holzmann
  • Robert Kurshan
  • Moshe Vardi
  • Pierre Wolper
2006
  • Robert Brayton
2007
2008

Voir aussi

Articles connexes

  • Paris Kanellakis

Liens externes

  • Portail de l’informatique Portail de l’informatique
Ce document provient de « Prix Paris Kanellakis ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Prix Paris Christos Kanellakis de Wikipédia en français (auteurs)

Игры ⚽ Поможем сделать НИР

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”