Robin Milner
Source: Wikipédia sous licence CC-BY-SA 3.0.
La liste des auteurs de cet article est disponible ici.

Robin Milner (né en 1934) est un informaticien britannique. Diplômé de l'université de Cambridge. Il a été professeur aux universités de Londres, Swansea, Édimbourg, Stanford et Cambridge. Robin Milner est connu pour ses trois principales contributions en informatique (L´informatique - contraction d´information et automatique - est le domaine d'activité scientifique, technique et industriel en rapport avec le...), à savoir :

  1. LCF, le premier système de preuves automatiques, utilisé pour démontrer automatiquement des assertions mathématiques ;
  2. le langage ML;
  3. la théorie (Le mot théorie vient du mot grec theorein, qui signifie « contempler, observer, examiner ». Dans le langage courant, une théorie est une idée ou une...) d'analyse des systèmes concurrents (calculus of communicating systems, CCS) et son successeur, le pi-calcul.

Ses trois inventions lui valurent le prix Turing de l'ACM en 1991.


Page générée en 0.258 seconde(s) - site hébergé chez Amen
Ce site fait l'objet d'une déclaration à la CNIL sous le numéro de dossier 1037632
Ce site est édité par Techno-Science.net - A propos - Informations légales
Partenaire: HD-Numérique