Amir Pnueli
Z Wikipedii
Amir Pnueli (ur. 22 kwietnia 1941 w Nahalal, Izrael) - informatyk, laureat nagrody Turinga w 1996 za wprowadzenie logiki temporalnej do informatyki oraz znaczący wkład w weryfikację systemów i programów.
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
| "Lewica od dawna była do kupienia" |
|
Publicyści goszczący w Salonie Prasowym Trójki, rozmawiali o wecie prezydenta wobec nowelizacji ustawy o radiofonii i telewizji.
|
| Kontrowersyjna nominacja w TVP - "to nie handel, tak wyszło" |
|
- To nie byÅ‚ żaden handel, tak akurat wyszÅ‚o – tak Ryszard Kalisz z SLD (klub parlamentarny Lewica) odrzucaÅ‚ zarzut o targach SLD z PiS i nominacji Piotra Gadzinowskiego na czÅ‚onka i wiceprzewodniczÄ…cego Rady Programowej TVP. PoseÅ‚ byÅ‚ goÅ›ciem radia TOK FM.
|
| "Legutko to Balcerowicz polskiej edukacji" |
|
Publicyści goszczący w Salonie Prasowym Trójki rozmawiali o zamieszaniu związanym z tegorocznymi maturami. Eksperci twierdzili, że w zadaniach maturalnych były błędy. Krytykowany był też dobór materiału na jakim pracowali maturzyści, miedzy innymi oceniany jako stronniczy, felieton autorstwa Jacka Żakowskiego stanowiący podstawę zadań na egzaminie z Wiedzy o Społeczeństwie.
|
| Fiasko programu "Boisko w każdej gminie" |
|
"Polska": w ramach programu rządu "Boisko w każdej gminie" powstał dopiero jeden obiekt z sześciuset planowanych na ten rok - informuje dziennik "Polska". Do 2012 roku premier Donald Tusk deklarował w expose wybudowanie 2 tysięcy boisk.
|
| "GW: leki na hemofilię się spóźnią |
|
"Gazeta Wyborcza": program profilaktyki dla dzieci chorych na hemofiliÄ™, nie ruszy w zapowiadanym przez ministerstwo zdrowia terminie.
|