Clemens Eisenhofer
PhD student
| Group | Automated Program Reasoning |
|---|---|
| Room | Office HE0305 (Show FORSYTE location) |
| clemens.eisenhofer@tuwien.ac.at | |
| Other links |
ORCID |
Teaching
| Course number | Course name | Type | Latest/upcoming Semester | TISS link |
|---|---|---|---|---|
| 192033 | Logic and Reasoning in Computer Science | VU | 2026S | |
| 192035 | Project in Computer Science 2 Trends in cloud computing | PR | 2025S |