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 2026S
192185 Seminar in Computer Science (Formal Methods in Systems Engineering) SE 2025W
192184 Seminar in Logic (Formal Methods in Systems Engineering) SE 2025W
192164 Formal Methods in Systems Engineering VU 2025W
192035 Project in Computer Science 2 Trends in cloud computing PR 2025S