Juliane Pässler

PostDoc researcher

Group Automated Program Reasoning
Room Office HE0308 (Show FORSYTE location)
Email juliane.paessler@tuwien.ac.at
Other links ORCID

Teaching

Course number Course name Type Latest/upcoming Semester TISS link
192035 Project in Computer Science 2 Trends in cloud computing PR 2026S
192212 Seminar in Computer Science (Formal Methods in Systems Engineering) SE 2026S
192211 Seminar in Logic (Formal Methods in Systems Engineering) SE 2026S