Laura Kovács

Professor

Groups Automated Program Reasoning,
Room Office HG0315 (Show FORSYTE location)
Phone +43 1 58801 18430
Email [email protected]
Websites http://lkovacs.com/
Other links ORCID

Teaching

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