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
181224 Doctoral & Master Students Seminar SE 2026S
192186 SAT Algorithms, Applications and Extensions VU 2026S
184695 Bachelor Thesis PR 2026S
192164 Formal Methods in Systems Engineering VU 2025W
184090 SAT Solving VU 2025S