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