Pamina Georgiou
PhD student
Group | Automated Program Reasoning |
---|---|
Room | Office HE0309 (Show FORSYTE location) |
Phone | +43 1 58801 192411 |
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 |