[ 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 <u...@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