© Tiss: Florian Zuleger

Univ.Prof. Dipl.-Math. Dr.techn. Florian Zuleger, öffnet eine externe URL in einem neuen Fenster wurde mit 1.3.2026 zum Universitätsprofessor für an der Technischen Universität Wien bestellt. Er ist dem Institut für Logic and Computation, öffnet eine externe URL in einem neuen Fenster (E192) der Fakultät für Informatik, öffnet eine externe URL in einem neuen Fenster zugeordnet. 

Lebenslauf: Florian Zuleger stammt aus München (Deutschland). Er studierte Mathematik (Hauptfach) und Informatik (Nebenfach) an der TU München und schloss sein Diplomstudium im Oktober 2008 jeweils mit höchster Auszeichnung ab. Anschließend wechselte er an die TU Wien, wo er im Mai 2011 im Fach Informatik promovierte. Im Juni 2017 habilitierte er sich an der TU Wien im Fach Informatik. Seine wissenschaftliche Laufbahn ist eng mit der TU Wien verbunden. Nach Tätigkeiten als wissenschaftlicher Mitarbeiter und Postdoktorand konnte Florian Zuleger 2013 eine Laufbahnstelle für sich lukrieren, die er 2017 mit der Qualifizierung zum Assoziierten Professor abschloss. Seitdem sammelte internationale Forschungserfahrung unter anderem im Rahmen eines Forschungsaufenthalts am IRIF der Université Paris Diderot sowie während eines Praktikums bei Microsoft Research in Redmond.

Seine wissenschaftliche Heimat ist der Forschungsbereich Formal Methods in Systems Engineering (E192-04). 

Publikationen von Florian Zuleger in der Datenbank Scopus, öffnet eine externe URL in einem neuen Fenster und im ReposiTUm, öffnet eine externe URL in einem neuen Fenster.