People Overview Professors Scientific Staff Administrative Staff Student Staff External Lecturers By Responsibilities By Committee By Name Related Guest Professors Honoraries Alumni (LinkedIn) #5qw Vedran Marinkovic Projektass.(FWF) Dipl.-Ing. / BSc Role PreDoc Researcher Formal Methods in Systems Engineering, E192-04 Contact vedran.marinkovic@tuwien.ac.at +43-1-58801-192412 vCard from TISS informatics.tuwien.ac.at/people/vedran-marinkovic tiss.tuwien.ac.at/person/61837 Courses 2020W Program Analysis / 184.703 / VU 2021S Semantics of Programming Languages / 184.749 / VU