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 |