People Overview Professors Scientific Staff Administrative Staff Student Staff External Lecturers By Responsibilities By Committee By Name Related Guest Professors Honoraries Alumni (LinkedIn) #5qw Lea Salome Brugger Dipl.-Ing. / BSc Role Student Staff Formal Methods in Systems Engineering, E192-04 Contact lea.brugger@tuwien.ac.at vCard from TISS informatics.tuwien.ac.at/people/lea-brugger tiss.tuwien.ac.at/person/311397