Robin Milner

Robin Milner (born in 1934) is a British data processing specialist . Graduate of the university of Cambridge. He was professor at the universities of London, Swansea, Edinburgh, Stanford and Cambridge. Robin Milner is known for his three principal contributions in data processing, namely:

  1. LCF, the first system of automatic evidence, used to show mathematical assertions automatically;
  2. the language ml;
  3. the theory of analysis of the rival systems ( calculus off communicating systems , CCS) and its successor, the Pi-calculation.

Its three inventions were worth the to him Prix Turing of ACM in 1991.

Random links:Consonant bilabial | Yerupajá | The Germs | Director | Quintus Servilius Ahala | Surveillance_en_Californie