Heinz Schwärtzel-Dissertationspreis

2012 |

Blanchette, Jasmin

v.li.n.re.: Prof. Dr. Ernst W. Mayr, Dr. Jasmin Blanchette, Prof. Dr. Dr. h.c. mult. Heinz G. Schwärtzel (Bildnachweis: Thorsten Jochim)

Im Rahmen des Absolventenfestes 2012 der Fakultät für Informatik der TU München wurde der Heinz Schwärtzel-Dissertationspreis an Dr. Jasmin Blanchette vergeben, der am Lehrstuhl für Logik und Verifikation der TU München promovierte. Den Preis über 1.500 EUR bekam er für seine herausragende Dissertation „Automatic Proofs and Refutations for Higher-Order Logic”. 
 
Der Heinz Schwärtzel-Preis für Grundlagen der Informatik wird seit 2006 jährlich vergeben. Er richtet sich an hervorragende Promovierte der drei Münchner Universitäten. Dem Stifter ist es ein besonderes Anliegen, die grundlagenorientierte Informatik-Forschung zu fördern. 
 
Prof. Dr. Dr. h.c. mult. Heinz G. Schwärtzel ist seit 1991 Honorarprofessor an der Fakultät für Informatik der TU München. Außerdem ist er Mitglied von ACATECH, der Deutschen Akademie der Technikwissenschaften, Fellow des Deutschen Forschungszentrums für Künstliche Intelligenz (DFKI) und Ehrenmitglied der Deutschen Gesellschaft für Informatik. 
 
Ausgerichtet wird die Preisverleihung von der Fakultät für Informatik der TU München. Leiter des Auswahlausschusses ist Prof. Dr. Ernst W. Mayr.