Georg Weissenbacher

Professor

Groups Rigorous Systems Engineering,
Room Office HG0307 (Show FORSYTE location)
Phone +43 1 58801 18435
Email georg.weissenbacher@tuwien.ac.at
Websites http://forsyte.at/~weissenbacher/
http://www.georg.weissenbacher.science
Other links

Offered courses

Course number Course name Type Latest/upcoming Semester TISS link
181224 Doctoral & Master Students Seminar SE 2027S
184695 Bachelor Thesis PR 2027S
192164 Formal Methods in Systems Engineering VU 2026W
184767 Research Seminar LogiCS SE 2026W
184766 Introduction to Logical Methods in Computer Science VO 2026W
192171 Computer-Aided Verification VU 2026W
192192 Project in Logic and Artificial Intelligence 1 PR 2026S
192193 Project in Logic and Artificial Intelligence 2 PR 2026S
184741 Program and System Verification VU 2026S