Robin Milner
Z Wikipedii
Robin Milner (ur. 1934 w Plymouth) - wybitny 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.
- To jest tylko zalążek artykułu biograficznego związanego z informatyką. Jeśli możesz, rozbuduj go.