Alexander Pluska

PhD student

Groups Models of Computation, Rigorous Systems Engineering
Room Office HA0311 (Show FORSYTE location)
Email alexander.pluska@tuwien.ac.at
Other links

Teaching

Course number Course name Type Latest/upcoming Semester TISS link
184741 Program and System Verification VU 2025S
185A93 Formal Methods in Computer Science UE 2024W
185291 Formal Methods in Computer Science VU 2024W
181144 Computer-Aided Verification UE 2024S