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

Offered courses

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