Florian Sextl

PhD student

Group Models of Computation
Room Office HE0319 (Show FORSYTE location)
Email florian.sextl@tuwien.ac.at
Websites https://www.firefighterduck.de
Other links ORCID

Teaching

Course number Course name Type Latest/upcoming Semester TISS link
192185 Seminar in Computer Science (Formal Methods in Systems Engineering) SE 2025W
192184 Seminar in Logic (Formal Methods in Systems Engineering) SE 2025W
192168 Program Analysis VU 2025W