Manuel Blum

Un article de Wikipédia, l'encyclopédie libre.
Cet article est une ébauche concernant l’informatique.
Vous pouvez partager vos connaissances en l’améliorant. (Comment ?).

Manuel Blum (Caracas, 26 avril 1938 - ) est un informaticien états-unien. Il a reçu le prix Turing en 1995 en reconnaissance de ses contributions aux fondements de la théorie de la complexité calculatoire et de ses applications à la cryptographie et à la vérification de programmes.

Il est marié à Lenore Blum.

[modifier] Voir aussi


Lauréats du prix Turing

1966 : A.J. Perlis - 1967 : Maurice Wilkes - 1968 : Richard Hamming - 1969 : Marvin Minsky - 1970 : J.H. Wilkinson - 1971 : John McCarthy - 1972 : Edsger Dijkstra - 1973 : Charles Bachman - 1974 : Donald Knuth - 1975 : Allen Newell et Herbert Simon - 1976 : Michael Rabin et Dana S. Scott - 1977 : John Backus - 1978 : Robert Floyd - 1979 : Kenneth Iverson - 1980 : Charles A. R. Hoare - 1981 : Edgar Frank Codd - 1982 : Stephen Cook - 1983 : Kenneth Thompson et Dennis Ritchie - 1984 : Niklaus Wirth - 1985 : Richard Karp - 1986 : John Hopcroft et Robert Tarjan - 1987 : John Cocke - 1988 : Ivan Sutherland - 1989 : William Kahan - 1990 : Fernando Corbató - 1991 : Robin Milner - 1992 : Butler Lampson - 1993 : Juris Hartmanis et Richard Stearns - 1994 : Edward Feigenbaum et Raj Reddy - 1995 : Manuel Blum - 1996 : Amir Pnueli - 1997 : Douglas Engelbart - 1998 : James Gray - 1999 : Frederick Brooks - 2000 : Andrew Yao - 2001 : Ole-Johan Dahl et Kristen Nygaard - 2002 : Ronald Rivest, Adi Shamir et Leonard Adleman - 2003 : Alan Kay - 2004 : Vinton G. Cerf et Robert E. Kahn - 2005 : Peter Naur - 2006 : Frances Allen - 2007 : Edmund Clarke, Allen Emerson et Joseph Sifakis