Petra Hozzová
PostDoc researcher
| Group | Automated Program Reasoning |
|---|---|
| Phone | +43 1 58801 192405 |
| petra.hozzova@tuwien.ac.at | |
| Other links |
ORCID Google Scholar |
Offered courses
| Course number | Course name | Type | Latest/upcoming Semester | TISS link |
|---|---|---|---|---|
| 192033 | Logic and Reasoning in Computer Science | VU | 2026S |