See also ebooksgratis.com: no banners, no cookies, totally FREE.

CLASSICISTRANIERI HOME PAGE - YOUTUBE CHANNEL
Privacy Policy Cookie Policy Terms and Conditions
Manuel Blum - Wikipédia

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
 


aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - en - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu -