Laura Kovács

Professor

Group 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
184695 Bachelor Thesis PR 2023S
185291 Formal Methods in Computer Science VU 2023S
184766 Introduction to Logical Methods in Computer Science VO 2023S
184693 Project in Computer Science 2 PR 2023S
184692 Project in Computer Science 1 PR 2023S
181224 Doctoral & Master Students Seminar SE 2023S
184767 Research Seminar LogiCS SE 2023S
184774 Automated Deduction VU 2023S
181221 Seminar Formal Methods SE 2023S