Robert W. Floyd
Z Wikipedii
Robert W. Floyd (ur. 8 czerwca 1936 w Nowym Jorku - zm. 25 września 2001) - informatyk amerykański, laureat Nagrody Turinga.
W wieku 17 lat otrzymał w University of Chicago stopień bakałarza z nauk humanistycznych, w 1958 stopień bakałarza z fizyki. Na początku lat 60. podjął pracę technika komputerowego i jednocześnie rozpoczął publikowanie artykułów z dziedziny informatyki. Wkrótce, w wieku 27 lat, otrzymał pracę wykładowcy w Carnegie-Mellon University, a w 1969 r., nie mając doktoratu, został profesorem Stanford University.
Do ważniejszych prac należą projektowanie i analiza efektywnych algorytmów znajdowania najkrótszej ścieżki w teorii grafów i parsowanie, ale za najistotniejsze osiągnięcie uważana jest pionierska praca w dziedzinie weryfikacji programów z użyciem twierdzeń logicznych (praca z 1967 r. "Assigning Meanings to Programs").
Floyd współpracował blisko z Donaldem Knuthem i był głównym recenzentem jego fundamentalnej książki The Art of Computer Programming - jest też najczęściej cytowanym w tej książce autorem.
W 1978 r. otrzymał Nagrodę Turinga, za istotny wpływ na metodologię tworzenia efektywnego i niezawodnego oprogramowania i za udział w powstaniu ważnych poddziedzin nauk komputerowych: teorii parsowania, semantyki języków programowania, automatycznej weryfikacji programów, automatycznej syntezy programów i analizy algorytmów.
[edytuj] Linki zewnętrzne
- http://sigact.acm.org/floyd
- http://www.stanford.edu/dept/news/report/news/november7/floydobit-117.html
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
| Facebook blokuje Friend Connect |
|
Serwis społecznościowy Facebook zablokował zaprezentowaną niedawno przez Google usługę Friend Connect. Jak informuje serwis InfoWorld, naruszała ona postanowienia regulaminu.
|
| Miliarder doprowadzi do sprzedaży Yahoo? |
|
Jeden z udziałowców Yahoo!, miliarder Carl Icahn, przygotowuje się to walki z zarządem internetowego giganta na spotkaniu akcjonariuszy, które odbędzie się trzeciego lipca. Poinformował on, że będzie prowadził swoje działania dopóki firma nie rozpocznie nowych negocjacji z Microsoftem.
|
| Samsung i LG pracujÄ… nad standardem mobilnej DTV |
|
Firmy Samsung i LG rozpoczynają współpracę nad nowym standardem mobilnej telewizji cyfrowej, planując połączenie ze sobą technologii MPH oraz A-VSB.
|
| Odtwarzacz MP3 do kÄ…pieli |
|
Firma Ubanana zaprezentowała odtwarzacz MP3 uCan, wykonany z nieprzemakalnych materiałów, dzięki któremu można cieszyć się ulubioną muzyką podczas pływania, lub nurkowania.
|
| Kolorowy cooler dla precesora |
|
Firma Thermaltake wprowadzi na rynek chłodzenie procesora, będące częścią serii Orb. System składa się z aluminiowego radiatora z 140-ma żebrami oraz 112-milimetrowego wentylatora.
|