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
192193 Project in Logic and Artificial Intelligence 2 PR 2026S
192192 Project in Logic and Artificial Intelligence 1 PR 2026S
184766 Introduction to Logical Methods in Computer Science VO 2026S
181224 Doctoral & Master Students Seminar SE 2026S
184741 Program and System Verification VU 2026S
184695 Bachelor Thesis PR 2026S
184767 Research Seminar LogiCS SE 2026S