Katalin Fazekas

PostDoc researcher

Group Theory and Applications of Satisfiability
Room Office HA0310 (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
184090 SAT Solving VU 2024S