Back روبن ميلنر Arabic روبن ميلنر ARZ Artur Con Robin Qorell Milner Azerbaijani رابین میلز AZB রবিন মিলনার Bengali/Bangla Robin Milner Catalan Robin Milner German Robin Milner English Robin Milner Esperanto Robin Milner Spanish
| Państwo działania | |
|---|---|
| Data i miejsce urodzenia |
13 stycznia 1934 |
| Data i miejsce śmierci |
20 marca 2010 |
| Specjalność: informatyka | |
| Alma Mater | |
| Uczelnia | |
Robin Milner (ur. 13 stycznia 1934 w Plymouth, zm. 20 marca 2010 w Cambridge[1][2]) – brytyjski informatyk, Laureat nagrody Turinga w 1991 roku[3] i EATCS w roku 2005[4]. Od 1988 był członkiem Royal Society[1].
Twórca LCF (Logic for Computable Functions)[5] – narzędzia wspierającego automatyczne dowodzenie twierdzeń, oraz języka ML[5] stworzonego na potrzeby LCF.
- ↑ a b Błąd w przypisach: Błąd w składni elementu
<ref>. Brak tekstu w przypisie o nazwieguardianBŁĄD PRZYPISÓW - ↑ Błąd w przypisach: Błąd w składni elementu
<ref>. Brak tekstu w przypisie o nazwieupenn.eduBŁĄD PRZYPISÓW - ↑ Błąd w przypisach: Błąd w składni elementu
<ref>. Brak tekstu w przypisie o nazwieturingBŁĄD PRZYPISÓW - ↑ Błąd w przypisach: Błąd w składni elementu
<ref>. Brak tekstu w przypisie o nazwieeatcsBŁĄD PRZYPISÓW - ↑ a b Błąd w przypisach: Błąd w składni elementu
<ref>. Brak tekstu w przypisie o nazwielcfBŁĄD PRZYPISÓW