Pamina Georgiou

PhD student

Group Automated Program Reasoning
Room Office HE0309 (Show FORSYTE location)
Phone +43 1 58801 192411
Email pamina.georgiou@tuwien.ac.at
Other links

Teaching

Course number Course name Type Latest/upcoming Semester TISS link
185291 Formal Methods in Computer Science VU 2023W
185A93 Formal Methods in Computer Science UE 2023W