Katalin Fazekas

Assistant Professor

Groups Theory and Applications of Satisfiability,
Room Office HE0309 (Show FORSYTE location)
Phone +43 1 58801 18409
Email katalin.fazekas@tuwien.ac.at
Websites https://kfazekas.github.io/
Other links ORCID

Teaching

Course number Course name Type Latest/upcoming Semester TISS link
192186 SAT Algorithms, Applications and Extensions VU 2026S
184695 Bachelor Thesis PR 2026S
181224 Doctoral & Master Students Seminar SE 2026S
192164 Formal Methods in Systems Engineering VU 2025W
184090 SAT Solving VU 2025S