[TYPES] Martin Hofmann (1965-2018)

Eijiro Sumii eijiro.sumii at gmail.com
Fri Feb 9 12:09:26 EST 2018

[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


which we share.  May he rest in peace.

On Fri, Feb 9, 2018 at 8:12 AM, Jan Hoffmann <uni at hoffjan.de> 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

More information about the Types-list mailing list