Manuel Blum

Manuel Blum z żoną Lenore i synem Avrimem

Manuel Blum (ur. 26 kwietnia 1938 w Caracas, Wenezuela) – wenezuelski informatyk, laureat nagrody Turinga w 1995 roku za wkład w rozwój teorii złożoności obliczeniowej oraz jej zastosowań w kryptografii i weryfikacji formalnej^[1].

Przypisy

↑ ACM A.M. Turing Award United States – 1995 (ang.). 1995. [dostęp 2014-12-27].

Laureaci Nagrody Turinga

1966: Alan Perlis
1967: Maurice V. Wilkes
1968: Richard Hamming
1969: Marvin Minsky
1970: James H. Wilkinson
1971: John McCarthy
1972: Edsger Dijkstra
1973: Charles W. Bachman
1974: Donald E. Knuth
1975: Allen Newell, Herbert Simon
1976: Michael O. Rabin, Dana S. Scott
1977: John Backus
1978: Robert W. Floyd
1979: Kenneth E. Iverson
1980: C.A.R. Hoare
1981: Edgar F. Codd
1982: Stephen A. Cook
1983: Ken Thompson, Dennis Ritchie
1984: Niklaus Wirth
1985: Richard M. Karp
1986: John Hopcroft, Robert Tarjan
1987: John Cocke
1988: Ivan Sutherland
1989: William Kahan
1990: Fernando J. Corbató
1991: Robin Milner
1992: Butler W. Lampson
1993: Juris Hartmanis, Richard E. Stearns
1994: Edward Feigenbaum, Raj Reddy
1995: Manuel Blum
1996: Amir Pnueli
1997: Douglas Engelbart
1998: James Gray
1999: Frederick P. Brooks, Jr.
2000: Andrew Chi-Chih Yao
2001: Ole-Johan Dahl, Kristen Nygaard
2002: Ron Rivest, Adi Szamir, Leonard Adleman
2003: Alan Kay
2004: Vinton G. Cerf, Robert E. Kahn
2005: Peter Naur
2006: Frances E. Allen
2007: Edmund Clarke, Allen Emerson, Joseph Sifakis
2008: Barbara Liskov
2009: Charles P. Thacker
2010: Leslie Valiant
2011: Judea Pearl
2012: Silvio Micali, Shafrira Goldwasser
2013: Leslie Lamport
2014: Michael Stonebraker
2015: Whitfield Diffie, Martin Hellman
2016: Tim Berners-Lee
2017: John L. Hennessy, David Patterson
2018: Yoshua Bengio, Geoffrey Hinton, Yann LeCun

Media użyte na tej stronie

Blum manuel lenore avrim.jpg
Autor: George Bergman , Licencja: GFDL 1.2
Manuel Blum (left), Lenore Blum, Avrim Blum, Berkeley 1973