Florian Zuleger
Scholar

Florian Zuleger

Google Scholar ID: UckwzkEAAAAJ
Associate Professor, TU Wien
VerificationProgram AnalysisFormal MethodsLogic in Computer ScienceEducation
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
1,086
 
H-index
18
 
i10-index
31
 
Publications
20
 
Co-authors
24
list available
Contact
Emailflorian.zuleger@tuwien.ac.at
Publications
10 items
Robust Algebraic Theories of Triangle Graphs
2026
Cited
0
A Cost-Aware Probability Monad for Liquid Haskell
2026
Cited
0
Automated Amortised Analysis of Skew Heaps and Leftist Heaps (Extended Version)
2026
Cited
0
Regular Grammars as Effective Representations of Recognizable Sets of Series-Parallel Graphs
2026
Cited
0
Iterating Non-Aggregative Structure Compositions
2025
Cited
0
To Zip Through the Cost Analysis of Probabilistic Programs
2025
Cited
0
Regular Grammars for Sets of Graphs of Tree-Width $2$
2024
Cited
0
Characterizations of Monadic Second Order Definable Context-Free Sets of Graphs
2023
Cited
0
Resume
Academic Achievements
  • Teaches a variety of courses including but not limited to:
  • - Research Seminar LogiCS
  • - Program and System Verification
  • - Doctoral & Master Students Seminar
  • - Introduction to Logical Methods in Computer Science
  • - Project in Computer Science 2
  • - Project in Computer Science 1
  • - Bachelor Thesis supervision
  • - Program Analysis
  • - Seminar in Computer Science (Formal Methods in Systems Engineering)
  • - Seminar in Logic (Formal Methods in Systems Engineering)
  • - Formal Methods in Systems Engineering
  • - Seminar Formal Methods
  • - Semantics of Programming Languages
Research Experience
  • Professor at the Institute of Logic and Computation, Vienna University of Technology.
Miscellany
  • Office: HG0309
  • Phone: +43 1 58801 18449
  • Email: florian.zuleger@tuwien.ac.at
  • Other links: ORCID
Co-authors
9 total
Sumit Gulwani
Sumit Gulwani
Distinguished Scientist, Microsoft
Tomas Vojnar
Tomas Vojnar
FI, Masaryk University & FIT, Brno University of Technology
Aniello Murano
Aniello Murano
Full Professor in Computer Science, Università degli Studi di Napoli Federico II
Georg Weissenbacher
Georg Weissenbacher
Professor of Computer Science, TU Wien
Marco Gaboardi
Marco Gaboardi
Boston University
Mantas Šimkus
Mantas Šimkus
Institute of Logic and Computation, TU Wien, Austria
Byron Cook
Byron Cook
Professor of Computer Science, UCL, Amazon
Abigail See
Abigail See
Research Scientist, DeepMind