I just read the following message from Gordon Plotkin. This is really sad news. I plan to post a more elaborate message soon, but we have lost another intellectual giant, a gentleman and a true inspiration for us all.
-----------------------------
Dear Colleagues,
I am deeply saddened to pass on the following message from Barney and Chloƫ Milner:
"We are sorry to announce that Robin Milner died on Saturday 20th March, in Cambridge, just three days after the funeral of his wife, Lucy.
He will be greatly missed by his family and friends, as well as the academic community."
Gordon Plotkin
1 comment:
This is very, very sad news. For me, Robin was a major presence during my years in the LFCS and the internal examiner of my doctoral dissertation. Only a few weeks ago he wrote the endorsement for my book on structural operational semantics. But not only was he a great computer scientist; he was also one of the nicest men I have ever met.
I remember so many good things about him from my years in the LFCS and later on. I am proud to say that I knew him.
Post a Comment