Laura Kovács

Professor

Groups Automated Program Reasoning,
Room Office HG0315 (Show FORSYTE location)
Phone +43 1 58801 18430
Email laura.kovacs@tuwien.ac.at
Websites http://lkovacs.com/
Other links ORCID

Teaching

Course number Course name Type Latest/upcoming Semester TISS link
184766 Introduction to Logical Methods in Computer Science VO 2025S
184767 Research Seminar LogiCS SE 2025S
184695 Bachelor Thesis PR 2025S
192033 Logic and Reasoning in Computer Science VU 2025S
192022 Project in Computer Science 2 PR 2025S
192021 Project in Computer Science 1 PR 2025S
192035 Project in Computer Science 2 Trends in cloud computing PR 2025S
184774 Automated Deduction VU 2025S
181224 Doctoral & Master Students Seminar SE 2025S