Martin Hofmann (* 9. November 1965 in Erlangen; † 23. Januar 2018 am Nikko Shirane, Japan)Süddeutsche Zeitung: LMU-Professor auf Bergtour in Japan tödlich verunglückt, 6. Februar 2018, abgerufen am 6. Februar 2018.Süddeutsche Zeitung: Traueranzeigen Martin Hofmann 17. März 2018, abgerufen am 23. März 2018. war ein deutscher Informatiker und Hochschullehrer.CV Hofmann auf lmu.de (englisch; abgerufen am 1. Februar 2018)
Leben Hofmann studierte 1984 bis 1991 an der Universität Erlangen-Nürnberg Informatik und schloss das Studium in der Diplomprüfung mit Auszeichnung ab. Im Rahmen eines Austauschjahres 1987 bis 1988 erwarb er zusätzlich den Titel Maitrise de Mathematiques. Nach Beendigung seines Doktoratsstudiums zum PhD an der University of Edinburgh 1995 habilitierte er sich 1999 an der TU Darmstadt. Es folgten Aufenthalte als lecturer und reader wiederum an der University of Edinburgh und als Assistant professor erneut an der TU Darmstadt, bevor er im September 2001 zum Ordinarius für Theoretische InformatikHofmann auf lmu.de (Stand: 1. Februar 2018) an die Ludwig-Maximilians-Universität München berufen wurde.
Hofmann wurde am 21. Januar 2018 auf einer Bergtour am japanischen Vulkan Nikkō-Shirane-san von einem Schneesturm überrascht. Weil die Bedingungen für eine Suche zu gefährlich waren, konnte erst zehn Tage später begonnen werden, nach ihm zu suchen.LMU-Professor seit elf Tagen in Japan verschollen auf sueddeutsche.de (Stand: 1. Februar 2018) Am 6. Februar wurde offiziell sein Tod vermeldet.
Als seine Forschungsschwerpunkte nannte Hofmann die Anwendung von Logik und Typentheorie.
Werke (Auswahl)
Dissertation.
Einzelnachweise
Kategorie:Informatiker Kategorie:Hochschullehrer (Ludwig-Maximilians-Universität München) Kategorie:Deutscher Kategorie:Geboren 1965 Kategorie:Gestorben 2018 Kategorie:Mann