Robin Milner
brytyjski informatyk / Z Wikipedii, wolnej encyclopedia
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].
Szybkie fakty Państwo działania, Data i miejsce urodzenia ...
Państwo działania | |
---|---|
Data i miejsce urodzenia |
13 stycznia 1934 |
Data i miejsce śmierci |
20 marca 2010 |
Specjalność: informatyka | |
Alma Mater | |
Uczelnia |
Zamknij
Twórca LCF (Logic for Computable Functions)[5] – narzędzia wspierającego automatyczne dowodzenie twierdzeń, oraz języka ML[5] stworzonego na potrzeby LCF.