Prof. Dr. Florian Zuleger

Gruppenleiter

Wissenschaftliches Profil

Meine Forschung liegt im Bereich der Theoretischen Informatik und befasst sich mit den mathematischen Grundlagen von Programmen und Programmiersprachen. Da Software zunehmend mithilfe Künstlicher Intelligenz entwickelt und Code maschinell erzeugt wird, stellt sich eine grundlegende Frage: Wie können wir nicht nur Programme erzeugen, sondern auch automatisch begründen, dass sie die gewünschten Eigenschaften besitzen? Dafür entwickle ich mathematische Grundlagen, Algorithmen und Werkzeuge für das automatische Schlussfolgern über Programme und Softwaresysteme.

Dabei verbinde ich Methoden aus Logik und Automatentheorie, formaler Semantik und Typsystemen, abstrakter Interpretation, Graphentheorie und Komplexitätstheorie. Meine Arbeiten reichen von grundlegenden Ergebnissen zu Ausdrucksstärke, Entscheidbarkeit und Komplexität bis zur Implementierung und Evaluation neuer Analyseverfahren. Zudem untersuche ich, wie maschinelles Lernen die automatische Beweissuche unterstützen kann und wie sich KI-Modelle mit logischen Methoden beschreiben und analysieren lassen.

Weitere Informationen finden sich auf den Seiten zu unserer Forschung und unseren Forschungsprojekten.

Akademischer Werdegang

Ich studierte Mathematik und Informatik an der Technischen Universität München und promovierte anschließend in Informatik an der Technischen Universität Wien. Dort war ich zunächst als Assistant Professor, später als Associate Professor und Professor am Institute of Logic and Computation tätig. Weitere wissenschaftliche Stationen waren ein Forschungspraktikum bei Microsoft Research in Redmond und ein Forschungsaufenthalt am Institut de Recherche en Informatique Fondamentale (IRIF) in Paris.

Seit Juni 2026 leite ich den Lehrstuhl für Grundlagen der Programmierung an der Technischen Universität München.

Lehre und Betreuung

Informationen zu meinen aktuellen Lehrveranstaltungen finden sich unter Lehre. Themen für Bachelor- und Masterarbeiten sowie weitere Informationen zur Betreuung sind unter Abschlussarbeiten aufgeführt.

Wissenschaftliche Profile

• Google Scholar
• ORCID

Ausgewählte Publikationen

• Armin Walch, Georg Moser, Berry Schoenmakers, and Florian Zuleger. Automated Amortised Analysis of Skew Heaps and Leftist Heaps. In CAV 2026, pp. 100–122.
• Marius Bozga, Radu Iosif, and Florian Zuleger. Regular Grammars for Sets of Graphs of Tree-Width 2. In LICS 2025, pp. 704–717.
• Florian Sextl, Adam Rogalewicz, Tomáš Vojnar, and Florian Zuleger. Compositional Shape Analysis with Shared Abduction and Biabductive Loop Acceleration. In ESOP 2025, pp. 230–257.
• Alexander Loitzl and Florian Zuleger. Modeling Register Pairs in CompCert. In iFM 2024, pp. 128–147. Runner-up for the Best Paper Award.
• Jens Pagel and Florian Zuleger. Strong-separation Logic. ACM Transactions on Programming Languages and Systems, 44(3), 2022, pp. 16:1–16:40.
• Lukáš Holík, Petr Peringer, Adam Rogalewicz, Veronika Šoková, Tomáš Vojnar, and Florian Zuleger. Low-Level Bi-Abduction. In ECOOP 2022, pp. 19:1–19:30.
• Lorenz Leutgeb, Georg Moser, and Florian Zuleger. Automated Expected Amortised Cost Analysis of Probabilistic Data Structures. In CAV 2022, pp. 70–91.
• Florian Zuleger. The Polynomial Complexity of Vector Addition Systems with States. In FoSSaCS 2020, pp. 622–641.
• Sumit Gulwani, Ivan Radiček, and Florian Zuleger. Automated Clustering and Program Repair for Introductory Programming Assignments. In PLDI 2018, pp. 465–480.
• Moritz Sinn, Florian Zuleger, and Helmut Veith. A Simple and Scalable Static Analysis for Bound Analysis and Amortized Complexity Analysis. In CAV 2014, pp. 745–761.

Eine vollständige Liste meiner Veröffentlichungen findet sich auf DBLP.

Kontakt

Technische Universität München
TUM School of Computation, Information and Technology
Lehrstuhl für Grundlagen der Programmierung
Boltzmannstraße 3
85748 Garching bei München
Germany

Büro: 00.09.055, Finger 9, Erdgeschoss
E-Mail: f.zuleger@tum.de
Sprechstunde: nach Vereinbarung per E-Mail