Timo Merkl
PostDoc researcher
| Group | Automated Program Reasoning |
|---|---|
| Room | Office HE0304 (Show FORSYTE location) |
| timo.merkl@tuwien.ac.at | |
| Other links |
Offered courses
| Course number | Course name | Type | Latest/upcoming Semester | TISS link |
|---|---|---|---|---|
| 184686 | Database Systems | VU | 2026S |