Robin Milner (ur. 1934 w Plymouth, zm. 20 marca 2010 w Cambridge[1]) – brytyjski informatyk, twórca LCF – narzędzia wspierającego automatyczne dowodzenie twierdzeń i języka ML stworzonego na potrzeby LCF; ceniony za wkład w rozwój teorii systemów współbieżnych. Laureat nagrody Turinga w 1991 roku i EATCS w roku 2005.
Przypisy
|
Laureaci Nagrody Turinga |
|
1966: Alan Perlis
1967: Maurice Wilkes
1968: Richard Hamming
1969: Marvin Minsky
1970: James H. Wilkinson
1971: John McCarthy
1972: Edsger Dijkstra
1973: Charles Bachman
1974: Donald Knuth
1975: Allen Newell, Herbert Simon
1976: Michael O. Rabin, Dana Scott
1977: John Backus
1978: Robert W. Floyd
1979: Kenneth E. Iverson
1980: C.A.R. Hoare
1981: Edgar Frank Codd
1982: Stephen A. Cook
1983: Ken Thompson, Dennis Ritchie
1984: Niklaus Wirth
1985: Richard Karp
1986: John Hopcroft, Robert Tarjan
1987: John Cocke
1988: Ivan Sutherland
1989: William Kahan
1990: Fernando Corbató
1991: Robin Milner
1992: Butler Lampson
1993: Juris Hartmanis, Richard Stearns
1994: Edward Feigenbaum, Raj Reddy
1995: Manuel Blum
1996: Amir Pnueli
1997: Douglas Engelbart
1998: James Gray
1999: Fred Brooks
2000: Andrew Yao
2001: Ole-Johan Dahl, Kristen Nygaard
2002: Ron Rivest, Adi Shamir, Leonard Adleman
2003: Alan Kay
2004: Vinton Gray Cerf, Bob 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
|
|
Dodaj tę stronę do książki
Pokaż książkę (0 stron)
Proponowane strony
