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 connaissance spéculative, souvent basée sur...) 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.207 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