Prof. Dr. Florian Zuleger

Wissenschaftliche Laufbahn und Forschungsgebiete

Prof. Zuleger (*1984) forscht in der Theoretischen Informatik zu den mathematischen Grundlagen von Programmen und Programmiersprachen. Er entwickelt Algorithmen und Werkzeuge, um automatisch zu begründen, dass Programme die gewünschten Eigenschaften besitzen – eine Frage, die mit KI-generiertem Code zusätzlich an Bedeutung gewinnt. Seine Arbeiten reichen von theoretischen Grundlagenergebnissen bis zur Implementierung und praktischen Evaluation neuer Analyseverfahren. Zudem untersucht er das Zusammenspiel von maschinellem Lernen und Logik.

Prof. Zuleger studierte Mathematik und Informatik an der Technischen Universität München (Diplom 2008) und promovierte 2011 in Informatik an der TU Wien, wo er sich 2017 habilitierte. Dort war er zunächst Assistant Professor, später Associate Professor und Professor am Institute of Logic and Computation. Weitere Stationen waren ein Forschungspraktikum bei Microsoft Research in Redmond und ein Forschungsaufenthalt am IRIF in Paris. Seit 2026 leitet Prof. Zuleger den Lehrstuhl für Grundlagen der Programmierung an der TUM.

Wichtigste Auszeichnungen

• Best Paper Award (Runner-up), iFM (2024)
• Amazon Research Award (2023)
• Auszeichnungen für betreute Arbeiten: Bill McCune PhD Award (2020), FMCAD Best Student Contribution Awards (2017, 2018)
• Best Paper Award, PRIMA (2015)
• Microsoft Research PhD Scholarship (2007)