Robin Milner

Z Wikipedii, wolnej encyklopedii
Skocz do: nawigacji, wyszukiwania

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