Florian Zuleger

Professor

Group Models of Computation
Room Office HG0309 (Show FORSYTE location)
Phone +43 1 58801 18449
Email florian.zuleger@tuwien.ac.at
Other links ORCID

Offered courses

Course number Course name Type Latest/upcoming Semester TISS link
192211 Seminar in Logic (Formal Methods in Systems Engineering) SE 2026S
184695 Bachelor Thesis PR 2026S
184766 Introduction to Logical Methods in Computer Science VO 2026S
192212 Seminar in Computer Science (Formal Methods in Systems Engineering) SE 2026S
181224 Doctoral & Master Students Seminar SE 2026S
184767 Research Seminar LogiCS SE 2026S
192021 Project in Computer Science 1 PR 2026S
192022 Project in Computer Science 2 PR 2026S