People Overview Professors Scientific Staff Administrative Staff Student Staff External Lecturers By Responsibilities By Committee By Name Related Guest Professors Honoraries Alumni (LinkedIn) #5qw Adrian Rebola Pardo Univ.Ass. Dr.techn. / MSc Role PostDoc Researcher Formal Methods in Systems Engineering, E192-04 Contact adrian.rebola@tuwien.ac.at +43-1-58801-740074 Favoritenstrasse 11, Room HE0316 vCard from TISS orcid.org/0000-0001-9234-4377 informatics.tuwien.ac.at/people/adrian-rebola tiss.tuwien.ac.at/person/296535 Courses 2023S Program and System Verification / 184.741 / VU