23 March 2010

Robin Milner has died

...Robin Milner died on Saturday 20th March, in Cambridge, just three days after the funeral of his wife, Lucy.

There may well be notices at Cambridge and Edinburgh in due course.

See the Wikipedia page for more on his career. From the ITP perspective, he is famous for his work on the influential LCF system.

No comments: