Death of Robin Milner, Décès de Robin Milner

Death of Robin Milner
"Robin Milner, FRS FRSE
Professor Emeritus of Computer Science
It is with great sadness that we note the death of Robin Milner.
Robin worked at the Computer Laboratory in Cambridge from 1995 onwards, serving as Head of the Laboratory 1996–1999. Before that, he worked at the University of Edinburgh 1973–1994, where he was founding Director of the Laboratory for Foundations of Computer Science (LFCS). He was awarded the Turing Award in 1991.
Robin played a leading role in the development of many areas of Computer Science, focussing especially on its mathematical foundations but always with a sharp eye on practice. His intellectual legacy includes:

* machine-assisted proof construction with the LCF approach, underpinning the HOL and Isabelle/HOL provers;
* the design and formal definition of programming languages, especially of Standard ML, including work on type safety, type inference and module systems;
* models of concurrent computation, particularly with the CCS and Pi-Calculus process calculi and their theories of compositional reasoning; and
* the bigraph model of mobile informatic processes with its applications to bioinformatics and pervasive computing.

These provide the basis and tools for a great deal of current research, by many people worldwide.
Always an inspirational teacher and colleague, and a warm-hearted man, he will be greatly missed."

Robin Milner visited Nantes on 2007 for a conference.

http://www.cl.cam.ac.uk/misc/obituaries/milner/

Il était venu faire une conférence à Nantes en 2007.

Il a alimenté mon cours de Spécification Deuxième partie. Son livre Communication and Concurrency est un petit chef-d'œuvre.
Son dernier livre The Space and Motion of Communicating Agents est paru chez Cambridge University Press il y a un an.

Un prix Turing à Nantes

Il n'y avait pas foule hier pour écouter Robin Milner à la fac. De mon établissement, nous étions 3 (un vieux, celui qui écrit ici, et deux jeunes. Bien). Des collègues de l'iut de La Rochelle avaient fait le voyage. Et ceux qui avaient leur bureau à 10 mètres... ? Mais comme un collègue est venu avec son groupe de TD, l'amphi a été plein.
Après la conf, je suis allé faire un TD qui utilisait les travaux de Milner. J'avais la moitié des étudiants absents.

On voit ainsi dès aujourd'hui l'effet de l'évolution des programmes d'enseignement. Les fondamentaux ne sont plus enseignés ou sont dédaignés par nos clients (et en conséquence, supprimés des nouveaux programmes, ceux de "nouvelle génération") , les étudiants qui sont parfaitement formés en sortant du lycée pour juger de ce qui est fondamental. Un de ces jours ces infos vont sortir dans Le Monde. Peut-être ...

Pendant ce temps, les étudiants indiens se forment aux fondamentaux et nos société s'implantent en Inde. Très bien, la fracture se comble entre les riches et les pauvres. Le jeune collègue m'apprend que les Chinois vont avoir leur système de GPS en place avant celui des Européens.

Au fait, arrêtons de dire que si l'"on" va en Inde c'est parce que les salaires sont moins élevés. Si la qualité n'était pas au rdv "on"n'irait pas. Et quand les sociétés indiennes de logiciel sont au "top niveau" (je sais parler buisinesse !) (voir la classification CMM) et qu'en plus sont moins cher (ce qui va souvent de pair, normal, si on est plus efficace) , le rapport qualité/prix ... vous avez appris ce qu'est un rapport si vous avez passé l'examen d'entrée en sixième...

Une définition de ce qu'est un modèle :

"A model consists of some concepts, and a description of permissible activity in terms of these concepts."

"Grand challenge : Establish modeling as the basis of informatics"

Nietzche et les algèbres de processus

Je suis en train de lire Nietzsche de Richard Beardsworth (Les Belles Lettres, Isbn : 2-251-76001-6, 2003, 130 pages). Bien pour moi. Je semble comprendre. Comprendre est pourvoir réutiliser. Tentons ...

Extrait de La généalogie de la morale :

"De même que le peuple sépare la foudre de son éclat pour considérer l'éclair comme une action, effet d'un sujet qui s'appelle la foudre, de même la morale populaire (...) sépare aussi la force des effets de la force, comme si derrière l'homme fort, il y avait un substrat neutre qui serait libre de manifester la force ou non. Mais il n'y a point de substrat de ce genre, il n'y a point d'"être" derrière l'action, l'effet et le devenir ; "l'agent" n'a été qu'ajouté à l'action - l'action est tout. Le peuple dédouble en somme l'action quand il fait foudroyer la foudre, c'est l'action d'une action pour une cause** et ensuite encore une fois pour l'effet de cette cause. (...) Cette espèce d'homme a un besoin de foi en un "sujet" neutre, doué de libre arbitre par un instinct de conservation (...). Le sujet (ou pour parler un langage plus populaire, l'âme) est peut-être resté jusqu'ici le meilleur article de foi sur terre."

Quand on modélise avec les algèbres de processus comme CCS de Robin Milner, on a seulement des actions. On a des langages sans variables. Un état est un comportement possible quand on est à cet état.

Par exemple, écrit en FSP (logiciel et cours disponible sur la Toile), bouton sera spécifié ainsi :

BOUTON = (on -> off -> BOUTON).
Ce qui peut se récrire en nommant les états :
BOUTON = OFF,
OFF = (on -> ON),
ON = (off -> OFF).





*le prix Turing qui va venir parler à Nantes dans une semaine, on vous en a déjà parlé. A ce sujet, je viens d'apprendre que mes collègues de la fac viennent de supprimer des programmes d'informatique l'enseignement des théories et langages d'auteurs comme Milner. Triste et b... à manger du foin comme me disait mon père. Pierre Desproges dirait cela encore mieux et plus fort ! ... et pendant ce temps, les Shadock pompaient et les Indiens enseignaient et CapGemini créait 30000 emplois d'informaticiens en Inde (Le Monde de la dernière semaine). Très bien chers collègues de tout faire pour réduire la fracture entre pays pauvres et pays riches. Attirons les étudiants en leur disant : ici salle de jeux en réseau gratuite. Et pendant ce temps des syndicalistes CFDT se plaignent de ce que dans leur société "on" sorte des logiciels non testés, mal branlés.)

** lire le petit livre de notre collègue Michel Malherbe Qu'est-ce que la causalité ? Hume et Kant, chez J. Vrin, ISbn : 2-7116-1183-3

Robin Milner à Nantes le 21 mars

The Atlanstic Federation of Labs (FR 2819)
is happy to invite you to a seminar to be
given in Nantes by professor Robin Milner.

Professor Milner is well known in the
computer science community for his
major contributions to functional
and concurrent languages.
He was awarded the prestigious 
"ACM Turing Award" in 1991.
In his seminar he will present
one of the grand challenges of the 21st
Century.

This seminar will take place
at the Faculty of Sciences
and Techniques,
University of Nantes,
amphi H, on Wednesday March 21,
at 14:00.

Amphi H is close to the LINA lab:


---------------------------------


Professor Robin Milner,
Emeritus Professor at Cambridge University,
visiting Ecole Polytechnique (Paris)
for a year as "Ile-de-France
Blaise Pascal Professeur de Recherche".

Title:

"Ubiquitous computing, models
and the informatic future"

Abstract:

"Ubiquitous Computing Systems (UCSs)
will be a dominant part of
informatics in this century.
They will be vast, will evolve,
will make
decision previously made by us,
and will interact with one another.

The problem of how to understand
them, both as designed and as they
evolve, is one of the Grand Challenges
for Computing adopted by the UK
Computing Research Committee.
Many existing and more modest computing
systems are not deeply understood
when they are specified or built;
this phenomenon appears to be a
side-effect of the tremendous market
demand that has arisen worldwide
in the past half century.

I shall argue that a more thorough
science-based approach is both
necessary and possible. We often
think in terms of models, whether
formal or not.  These models, each
involving a subset of the immense
range of concepts needed for UCSs,
should form the structure of our
science.  Even more importantly,
the relationships (either formal or
informal) among them are the cement
that will hold our tower of
models together. For example,
how do we derive a model for senior
executives from one used by
engineers in designing a platform for
business processes, or by
theoreticians in analysing it?

Many examples of such relationships
exist; we need to base our
methodologies on them, and on
more of them.  As part of the talk, I
would like to illustrate this
with my own work on mobile systems."

Robin Milner Biography:

Robin Milner graduated from
Cambridge in 1958.  After short
posts he joined
the University of Edinburgh in
1973, where he co-founded the Laboratory for
Foundation of Computer Science
in 1986.  He was elected Fellow of the Royal
Society in 1988, and in 1991
won the ACM's A.M. Turing Award. He joined
Cambridge University in 1995,
headed the Computer Laboratory there for four
years, and retired in 2001.
His research achievements
(often joint)
include:
the system LCF, a model for
many later systems for
interactive reasoning;
systems; Standard ML, an
industry-scale but rigorously
based programming
language; the Calculus of
Communicating Systems (CCS); the Pi Calculus.
Currently he works on Bigraphs,
a topographical model for
global computing.