Sophie Rain
PhD student
| Group | Automated Program Reasoning |
|---|---|
| Room | Office HD0323 (Show FORSYTE location) |
| Phone | +43 1 58801 192417 |
| sophie.rain@tuwien.ac.at | |
| Websites |
https://sophierain.github.io/ |
| Other links |
ORCID |
Teaching
| Course number | Course name | Type | Latest/upcoming Semester | TISS link |
|---|---|---|---|---|
| 185291 | Formal Methods in Computer Science | VU | 2024W |