Eva Maria Wagner
PhD student
| Group | Automated Program Reasoning |
|---|---|
| Room | Office HA0305 (Show FORSYTE location) |
| eva.maria.wagner@tuwien.ac.at | |
| Other links |
Teaching
| Course number | Course name | Type | Latest/upcoming Semester | TISS link |
|---|---|---|---|---|
| 192164 | Formal Methods in Systems Engineering | VU | 2025W | |
| 184774 | Automated Deduction | VU | 2025W |