People Overview Professors Scientific Staff Administrative Staff Student Staff External Lecturers By Responsibilities By Committee By Name Related Guest Professors Honoraries Alumni (LinkedIn) #5qw Jonas Bodingbauer Projektass. Dipl.-Ing. / BSc BSc Role PreDoc Researcher Formal Methods in Systems Engineering, E192-04 Contact jonas.bodingbauer@tuwien.ac.at vCard from TISS orcid.org/0009-0006-2607-4325 informatics.tuwien.ac.at/people/jonas-bodingbauer tiss.tuwien.ac.at/person/318479
