anticache

Heinz Schwärtzel-Dissertationspreis

07.12.2018

Immler, Fabian


Preisträger Dr. Fabian Immler mit Prof. Heinz Schwärtzel (Foto: Thorsten Jochim)

Der Heinz Schwärtzel-Dissertationspreis für Grundlagen der Informatik ging in diesem Jahr an einen TUM-Informatiker vom Lehrstuhl für Logik und Verifikation, Prof. Tobias Nipkow. Die Dissertation "A Verified ODE Solver and Smale’s 14th Problem" von Dr. Fabian Immler wurde am 04.04.2018 durch die Fakultät für Informatik angenommen. Der Heinz Schwärtzel-Preis für Grundlagen der Informatik richtet sich an hervorragende Promovierte der drei Münchner Universitäten und ist mit einem Preisgeld von 1.500 EUR dotiert. Stifter Prof. Heinz Schwärtzel war u. a. viele Jahre Honorarprofessor für Informatik an der TUM.