© Tiss: Florian Zuleger

Univ.Prof. Dipl.-Math. Dr.techn. Florian Zuleger, opens an external URL in a new window was appointed University Professor at the Vienna University of Technology effective March 1, 2026. He is affiliated with the Institute for Logic and Computation, opens an external URL in a new window (E192) of the Faculty of Informatics, opens an external URL in a new window.

CV: Florian Zuleger is from Munich (Germany). He studied mathematics (major) and computer science (minor) at the Technical University of Munich and completed his diploma studies in October 2008, receiving the highest honors in both subjects. He then moved to the TU Wien, where he earned his Ph.D. in computer science in May 2011. In June 2017, he completed his habilitation at TU Wien in Computer Science. His academic career is closely tied to TU Wien. After working as a research assistant and postdoctoral fellow, Florian Zuleger secured a tenure track position in 2013, which he concluded in 2017 with his appointment as Associate Professor. Since then, he has gained international research experience, including during a research stay at the IRIF at the Université Paris Diderot and during an internship at Microsoft Research in Redmond.

His scientific home is the research group Formal Methods in Systems Engineering (E192-04).

Publications by Florian Zuleger in the Scopus, opens an external URL in a new window database and in ReposiTUm, opens an external URL in a new window.