Juliane Pässler

PostDoc researcher

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

Offered courses

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