People Overview Professors Scientific Staff Administrative Staff Student Staff External Lecturers By Responsibilities By Committee By Name Related Guest Professors Honoraries Alumni (LinkedIn) #5qw Geoffrey Charles Joseph Sutcliffe Univ.Ass. / PhD Role PostDoc Researcher Formal Methods in Systems Engineering, E192-04 Contact geoffrey.sutcliffe@tuwien.ac.at vCard from TISS informatics.tuwien.ac.at/people/geoffrey-sutcliffe tiss.tuwien.ac.at/person/455278 Courses 2026W Automated Deduction / 184.774 / VU
