Manuel Blum
Z Wikipedii
Manuel Blum (ur. 26 kwietnia 1938 w Caracas, Wenezuela) - wybitny 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.
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: Ronald L. Rivest, Adi Shamir, Leonard M. Adleman • 2003: Alan Kay • 2004: Vinton G. Cerf, Robert E. Kahn • 2005: Peter Naur • 2006: Frances E. Allen
| ŚWIAT 24/7 |
Tragiczne trzęsienie ziemi w Chinach, wybory parlamentarne w Serbii i 60. lecie Państwa Izrael, to najważniejsze tematy, o których pisaliśmy w zeszłym tygodniu w tvn24.pl
|
| Chavez przeprasza Merkel za Hitlera |
Prezydent Wenezueli osobiście przeprosił niemiecką kanclerz Angelę Merkel za swoje niedzielne wystąpienie, w którym zarzucił jej polityczne pokrewieństwo z Adolfem Hitlerem. Okazją do przeprosin był szczyt przywódców i szefów rządów państw UE oraz Ameryki Łacińskiej w Peru.
|
| Telewizja, która zatrudnia 114... fryzjerów |
"RAI - orgia władzy" - tak rzymski tygodnik "L'Espresso" opisuje włoską telewizję publiczną. Według raportu, na który powołuje się gazeta, RAI szasta pieniędzmi na prawo i lewo, m.in. zatrudniając pracowników, którzy właściwie nic nie robią.
|
| Jak Tusk i UE chcą zaradzić biedzie |
Nakarmić głodnych i ratować środowisko - to pierwsze punkty programu szczytu Unia Europejska - Ameryka Łacińska i Karaiby, który rozpoczął się w piątek w Limie. Polskę w Peru reprezentuje Donald Tusk.
|
| Spór o finansowanie wojny w Iraku |
Izba Reprezentantów USA po raz pierwszy w historii nie przyznała rządowi funduszy na prowadzenie działań militarnych. Ustawa o dalszym finansowaniu wojny w Iraku i Afganistanie utknęła w Kongresie wskutek sporów między Demokratami a Republikanami.
|
Tragiczne trzęsienie ziemi w Chinach, wybory parlamentarne w Serbii i 60. lecie Państwa Izrael, to najważniejsze tematy, o których pisaliśmy w zeszłym tygodniu w tvn24.pl
Prezydent Wenezueli osobiście przeprosił niemiecką kanclerz Angelę Merkel za swoje niedzielne wystąpienie, w którym zarzucił jej polityczne pokrewieństwo z Adolfem Hitlerem. Okazją do przeprosin był szczyt przywódców i szefów rządów państw UE oraz Ameryki Łacińskiej w Peru.
"RAI - orgia władzy" - tak rzymski tygodnik "L'Espresso" opisuje włoską telewizję publiczną. Według raportu, na który powołuje się gazeta, RAI szasta pieniędzmi na prawo i lewo, m.in. zatrudniając pracowników, którzy właściwie nic nie robią.
Nakarmić głodnych i ratować środowisko - to pierwsze punkty programu szczytu Unia Europejska - Ameryka Łacińska i Karaiby, który rozpoczął się w piątek w Limie. Polskę w Peru reprezentuje Donald Tusk.
Izba Reprezentantów USA po raz pierwszy w historii nie przyznała rządowi funduszy na prowadzenie działań militarnych. Ustawa o dalszym finansowaniu wojny w Iraku i Afganistanie utknęła w Kongresie wskutek sporów między Demokratami a Republikanami.