People Overview Professors Scientific Staff Administrative Staff Student Staff External Lecturers By Responsibilities By Committee By Name Related Guest Professors Honoraries Alumni (LinkedIn) #5qw George James Kenison Projektass. / PhD Role PostDoc Researcher Formal Methods in Systems Engineering, E192-04 Contact george.kenison@tuwien.ac.at Favoritenstrasse 9, Room HA0314 vCard from TISS personal webpage informatics.tuwien.ac.at/people/george-kenison tiss.tuwien.ac.at/person/350578 Courses 2022S Seminar Formal Methods / 181.221 / SE