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

Teaching

Course number Course name Type Latest/upcoming Semester TISS link
184749 Semantics of Programming Languages VU 2024S
181221 Seminar Formal Methods SE 2024S
184766 Introduction to Logical Methods in Computer Science VO 2024S
181224 Doctoral & Master Students Seminar SE 2024S
184695 Bachelor Thesis PR 2024S
184767 Research Seminar LogiCS SE 2024S
192021 Project in Computer Science 1 PR 2023W
185291 Formal Methods in Computer Science VU 2023W
192022 Project in Computer Science 2 PR 2023W
185A93 Formal Methods in Computer Science UE 2023W
184703 Program Analysis VU 2023W
184692 Project in Computer Science 1 PR 2023S
184693 Project in Computer Science 2 PR 2023S