That’s so sad … this great person has just retired from University of Cambridge 
for one year and several months (if I recall correctly). He never hesitates to 
teach or encourage young people, even I as a fresh man in HOL community have 
received several e-mails in private from him during the past months. I feel 
greatly regret for knowing him so late and not having any chance more to see 
him.

—Chun

> Il giorno 22 ago 2017, alle ore 20:20, Kalvala, Sara 
> <sara.kalv...@warwick.ac.uk> ha scritto:
> 
> 
> Dear members of the HOL community - I am sorry to have to pass on this 
> message from Mike's family. - Sara
> 
> 
> Dear all,
> 
> I'm sorry to report that Mike Gordon died peacefully this evening after a 
> short illness. He is survived by his wife of 38 years Avra Cohn and by his 
> sons Katriel and Reuben. He'll be greatly missed by his family and friends, 
> but equally by the academic community of which he was such a long-standing 
> pillar. There will be a memorial service in Cambridge in due course to 
> celebrate his life.
> 
> Please do forward this message to any mailing lists or people that you think 
> would like to know.
> 
> Best,
> Avra, Reuben and Katriel
> 
> [I can pass on any messages back. - Sara ]
> 
> 
> 
> ------------------------------------------------------------------------------
> Check out the vibrant tech community on one of the world's most
> engaging tech sites, Slashdot.org! http://sdm.link/slashdot
> _______________________________________________
> hol-info mailing list
> hol-info@lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/hol-info

Attachment: signature.asc
Description: Message signed with OpenPGP using GPGMail

------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
_______________________________________________
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info

Reply via email to