Re: [TYPES] Martin Hofmann (1965-2018)

[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]

[Rewritten and resent after moderation due to overlap with the previous message]

NII (the host organization for his trip) has expressed deepest
condolences to the family and friends of Professor Martin Hofmann

http://shonan.nii.ac.jp/shonan/blog/2018/01/26/a-researcher-who-was-supposed-to-participate-at-nii-shonan-meeting-has-been-missing/

which we share.  May he rest in peace.

On Fri, Feb 9, 2018 at 8:12 AM, Jan Hoffmann <[email protected]> wrote:
> [ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]
>
> Dear Colleagues,
>
> With deep sadness we are writing to let you know that our friend,
> mentor, colleague, and PhD advisor Martin Hofmann did not return from
> a hike at Nikko Shirane in Japan on January 21.
>
> Martin received his PhD from the University of Edinburgh in 1995 and
> most recently held the Gerhard Gentzen Chair for Theoretical Computer
> Science at LMU Munich. He is survived by his wife and three children.
>
> Martin was one of the most talented and knowledgeable scientists we
> know. He made countless contributions to programming languages and CS
> theory but seemed to also know just everything about any other field
> of CS, math, and physics. He was a true academic, driven by the desire
> to acquire and share knowledge. His friendly, humble, and unassuming
> personality made him a fantastic teacher and collaborator, and the
> long list of his co-authors is a testimony to his popularity in the
> community.
>
> In many ways, Martin has been a role model for us. We are thankful for
> his kindness, support, encouragement, and loyalty throughout the
> years. We are unbelievably sad that he is gone but grateful we knew
> him.
>
> Sincerely,
>
>   Lennart Beringer
>   Jan Hoffmann
>   Steffen Jost
>   Ulrich Schöpp