
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 |
---|---|---|---|---|
185291 | Formal Methods in Computer Science | VU | 2023S |