Martin Hofmann (computer scientist)

from Wikipedia, the free encyclopedia

Martin Hofmann (born November 9, 1965 in Erlangen ; † January 23, 2018 at Nikko Shirane , Japan ) was a German computer scientist and university professor .

Life

Hofmann studied computer science at the University of Erlangen-Nuremberg from 1984 to 1991 and graduated with honors in the diploma examination . During an exchange year from 1987 to 1988, he also acquired the title Maitrise de Mathematiques . After completing his PhD at the University of Edinburgh in 1995, he completed his habilitation in 1999 at the TU Darmstadt . This was followed by stays as a lecturer and reader again at the University of Edinburgh and as an assistant professor again at the TU Darmstadt, before he was appointed full professor for theoretical computer science at the Ludwig Maximilians University in Munich in September 2001 .

Hofmann was surprised by a snow storm on January 21, 2018 while on a mountain tour on the Japanese volcano Nikko Shirane. Because the conditions were too dangerous to search, the search for him could not begin until ten days later. His death was officially announced on February 6th.

Hofmann named the application of logic and type theory as his main research areas .

Works (selection)

  • with Thomas Streicher: The groupoid interpretation of type theory . In: Oxford Univ. Press (Ed.): Twenty-five years of constructive type theory (=  Oxford Logic Guides ). tape 36 . New York 1998, pp. 83-111 (English).
  • itself: Extensional Constructs in Intensional Type Theory . Ed .: University of Edinburgh. College of Science and Engineering. School of Informatics. (English). Dissertation.
  • with Martin Lange: Automata Theory and Logic (=  eXamen.press ). Springer-Verlag Berlin Heidelberg, 2011, ISBN 978-3-642-18089-7 , ISSN  1614-5216 , doi : 10.1007 / 978-3-642-18090-3 .

Individual evidence

  1. ↑ a b Süddeutsche Zeitung: LMU professor in a fatal accident on a mountain tour in Japan , February 6, 2018 , accessed on February 6, 2018.
  2. ^ Süddeutsche Zeitung: Obituaries Martin Hofmann March 17, 2018 , accessed on March 23, 2018.
  3. ↑ a b c d CV Hofmann on lmu.de (English; accessed on February 1, 2018)
  4. ↑ Hofmann on lmu.de (as of February 1, 2018)
  5. ↑ LMU professor missing in Japan for eleven days on sueddeutsche.de (as of February 1, 2018)
personal data
SURNAME Hofmann, Martin
BRIEF DESCRIPTION German computer scientist and university professor
DATE OF BIRTH November 9, 1965
PLACE OF BIRTH gain
DATE OF DEATH 23rd January 2018
Place of death Nikko Shirane , Japan