Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] [mike-gordon-update] sad news


view this post on Zulip Email Gateway (Aug 22 2022 at 15:55):

From: Tobias Nipkow <nipkow@in.tum.de>
Dear readers of this mailing list,

It is with great sadness that I forward the news of Mike Gordon's untimely death
to you. He was one of the founders of our field. I owe Mike a deep debt of
gratitude for the foundations he laid and I could build on.

Best regards
Tobias

-------- Forwarded Message --------
Subject: [mike-gordon-update] sad news
Date: Tue, 22 Aug 2017 18:58:34 +0100
From: Katriel Cohn-Gordon <katrielalex@gmail.com>
Reply-To: mike-gordon-updates+owners@googlegroups.com
To: mike-gordon-updates@googlegroups.com

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
smime.p7s


Last updated: Apr 24 2024 at 08:20 UTC