Robin Milner

z Wikipédie, slobodnej encyklopédie
Prejsť na: navigácia, hľadanie
Robin Milner
britský informatik
Narodenie 13. január 1934 (79 rokov)
Plymouth, Anglicko, Spojené kráľovstvo

Arthur John Robin Gorell Milner (* 13. január 1934, Plymouth, Anglicko, Spojené kráľovstvo) je britský informatik. Je autorom LCF (Logic for Computable Functions) - jedného z prvých nástrojov na automatické dokazovanie viet. Pre potreby LCF vyvinul programovací jazyk ML. Pracoval tiež v oblasti konkurentných systémov, kde vyvinul teoretické metódy ich analýzy: CCS (calculus of communicating systems - kalkul komunikujúcich systémov) a jeho nasledovníka - tzv. π-kalkul. V roku 1991 dostal Turingovu cenu.

David face.png  Tento článok týkajúci sa biografie osobnosti je zatiaľ „výhonok“. Pomôž Wikipédii tým, že ho doplníš a rozšíriš.

Alan Perlis (1966) · Maurice Wilkes (1967) · Richard Hamming (1968) · Marvin Minsky (1969) · James Hardy Wilkinson (1970) · John McCarthy (1971) · Edsger Wybe Dijkstra (1972) · Charles Bachman (1973) · Donald Ervin Knuth (1974) · Allen Newell/Herbert Simon (1975) · Michael Oser Rabin/Dana Scott (1976) · John Backus (1977) · Robert Floyd (1978) · Kenneth Iverson (1979) · C. A. R. Hoare (1980) · Edgar Frank Codd (1981) · Stephen Cook (1982) · Ken Thompson/Dennis Ritchie (1983) · Niklaus Wirth (1984) · Richard Karp (1985) · John Hopcroft/Robert Tarjan (1986) · John Cocke (1987) · Ivan Sutherland (1988) · William Kahan (1989) · Fernando Corbató (1990) · Robin Milner (1991) · Butler Lampson (1992) · Juris Hartmanis/Richard Stearns (1993) · Edward Feigenbaum/Raj Reddy (1994) · Manuel Blum (1995) · Amir Pnueli (1996) · Douglas Engelbart (1997) · James Gray (1998) · Frederick Brooks (1999) · Andrew Jao (2000) · Ole-Johan Dahl/Kristen Nygaard (2001) · Ronald Rivest/Adi Šamir/Leonard Adleman (2002) · Alan Kay (2003) · Vinton Cerf/Robert Kahn (2004) · Peter Naur (2005) · Frances Allenová (2006) · Edmund Clarke/Ernest Allen Emerson/Joseph Sifakis (2007) · Barbara Liskovová (2008) · Charles Thacker (2009) · Leslie Valiant (2010)
Zdroj: „http://sk.wikipedia.org/w/index.php?title=Robin_Milner&oldid=5357109“