Alexander Pluska
PhD student
| Groups | Models of Computation, Rigorous Systems Engineering |
|---|---|
| Room | Office HA0311 (Show FORSYTE location) |
| alexander.pluska@tuwien.ac.at | |
| Other links |
Teaching
| Course number | Course name | Type | Latest/upcoming Semester | TISS link |
|---|---|---|---|---|
| 181144 | Computer-Aided Verification | UE | 2024S |