People Overview Professors Scientific Staff Administrative Staff Student Staff External Lecturers By Responsibilities By Committee By Name Related Guest Professors Honoraries Alumni (LinkedIn) #5qw Mark Jonathan Chimes Univ.Ass. / BSc MSc Role PreDoc Researcher Formal Methods in Systems Engineering, E192-04 Contact mark.chimes@tuwien.ac.at Favoritenstrasse 9, Room HA0309 vCard from TISS informatics.tuwien.ac.at/people/mark-chimes tiss.tuwien.ac.at/person/374166 Courses 2025S Semantics of Programming Languages / 184.749 / VU
