An interview with Robin Milner

the transcript of an interview with Robin Milner, held in Cambridge on the 3. September 2003. The interview was conducted by Martin Berger

http://www.dcs.qmul.ac.uk/~martinb/interviews/milner/

Robin Milner

La chaire Blaise Pascal
Milner à Cambridge !
http://www.cl.cam.ac.uk/~rm135/
Milner sur Wikipedia :
http://en.wikipedia.org/wiki/Robin_Milner

Robin Milner

Citation

For three distinct and complete achievements: 1) LCF, the mechanization of Scott's Logic of Computable Functions, probably the first theoretically based yet practical tool for machine assisted proof construction; 2) ML, the first language to include polymorphic type inference together with a type-safe exception-handling mechanism; 3) CCS, a general theory of concurrency. In addition, he formulated and strongly advanced full abstraction, the study of the relationship between operational and denotational semantics.

ACM/A.M. Turing Award.

Le cours sur LTSA/FSP de Magee et Kramer

http://www.doc.ic.ac.uk/~jnm/book/

Un logiciel gratuit
Un cours disponible
De nombreux exos corrigés...


Le site du professeur Jeff Kramer :
http://www.doc.ic.ac.uk/~jk/

Celui du professeur Jeff Magee :
http://www3.imperial.ac.uk/people/j.magee

Prochain cours

Pour le cours qui a eu lieu cette semaine, j'avais demandé de traiter le cas de l'American film star. Ceux qui l'ont fait peuvent m'adresser leur travail ou me le montrer à l'occasion...

Le prochain cours devrait porter sur :

- l'équivalence entre processus
- les propriétés de vivacité, de fatalité que nous traiterons avec FSP et LTSA

ou

- sur B événementiel. J'utiliserai le cours de son auteur, J.R. Abrial.

Cours du 26 février /4

- Je n'ai pas dit un mot pendant tout mon cours ... car j'attendais le silence. J'ai écrit tout au tableau. J'ai donné des exemples illustratifs dont on pouvait déduire la sémantique. J'ai tout photographié.
Ce que j'ai traité :

- rdp avec arcs valués
- rdp à jeton
- test à zéro

CCS
j'ai donné toutes les configurations possibles, et ai systématiquement construit l'automate (une dizaine au moins)
j'ai traité de la communication dont le sémaphore, idem automates;
j'ai donné correspondance avec FSP (un peu)


J'ai annoncé oralement et par courriel et par un écrit au tableau noir la conf de Milner.

Les réponses aux questions du "DS" se trouvent sur les photos des messages précédents.

Cours du 26 février /3

Cours du 26 février /2

Cours du 26 février /1

Préconditions

Un collègue de l'Ecole Supérieure d'Electricité de Gif, m'adresse deux préconditions, exemples qu'il donne à ses étudiants :

"Ce jouet est destiné aux enfants de plus de trois ans"

"Dans la même veine, pour un fusil:
Ne tirez que quand vous voyez le blanc des yeux..."

suite Boivia Inti

Je viens d'appeler BoliviaInti. J'apprends que si je n'ai pas reçu de réponse à mes courriels, c'est que les permanents sont en Amérique ...
J'ai cependant obtenu des informations (que je n'avais pas ce matin pour le td), à savoir :

- il peut y avoir plusieurs adhérents sous un même nom (en fait il en est prévu 1 ou 2)
- deux types d'adhérents : bienfaiteur / actif (mais la personne qui fait la saisie ne sait pas trop la définition. Elle met bienfaiteur celui qui fait plus que payer sa cotisation, par exemple celui qui finance un cuiseur solaire. Remarquons ...qu'il peut être "acttif" !)

- il peut y avoir des reçus fiscaux envoyés en dehors de l'envoi par lot. A cette occasion, j'ai appris que des adhérents qui ont fait du bénévolat et ont utilisé leur véhicule personnel, ont fait des dons en km au taux (voir le fisc) de ..., et ont un reçu fiscal pour cela. Or des bénévoles peuvent donner les "données" après l'envoi par lot des reçus fiscaux.
- actuellement il n'y a pas de variable indiquant l'état par exemple des envois de reçus fiscaux. La personne (ou les) personnes qui font se travail utilisent des post-its collés sur l'écran. D'où l'intérêt du travail de td de spec2 !

- ceux qui suivent une formation doivent adhérer à l'association (je pense d'ailleurs que c'est la loi qui demande cela. Je vous dirai pourquoi...)

Je joue le rôle d'assistant à la maîtrise d'ouvrage. Les étudiants du projet sont la maîtrise d'oeuvre.