[TYPES] Martin Hofmann (1965-2018)

Jan Hoffmann uni at hoffjan.de
Thu Feb 8 18:12:43 EST 2018

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

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


  Lennart Beringer
  Jan Hoffmann
  Steffen Jost
  Ulrich Schöpp

More information about the Types-list mailing list