People Overview Professors Scientific Staff Administrative Staff Student Staff External Lecturers By Responsibilities By Committee By Name Related Guest Professors Honoraries Alumni (LinkedIn) #5qw Florian Sextl Univ.Ass. / MSc Role PreDoc Researcher Formal Methods in Systems Engineering, E192-04 Contact florian.sextl@tuwien.ac.at Favoritenstrasse 11, Room HE0319 vCard from TISS Personal Homepage (under construction) orcid.org/0009-0003-5839-0726 informatics.tuwien.ac.at/people/florian-sextl tiss.tuwien.ac.at/person/369073 Courses 2023W Program Analysis / 184.703 / VU