Katalin Fazekas
PostDoc researcher
Group | Theory and Applications of Satisfiability |
---|---|
Room | Office HA0310 (Show FORSYTE location) |
Phone | +43 1 58801 18409 |
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 |