Daniela Kaufmann

PostDoc researcher

Group Automated Program Reasoning
Room Office HE0314 (Show FORSYTE location)
Email daniela.kaufmann@tuwien.ac.at
Other links

Teaching

Course number Course name Type Latest/upcoming Semester TISS link
181221 Seminar Formal Methods SE 2024S