Michael Rawson
PostDoc researcher
| Group | Automated Program Reasoning |
|---|---|
| Room | Office HA0312 (Show FORSYTE location) |
| michael.rawson@tuwien.ac.at | |
| Other links |
ORCID |
Teaching
| Course number | Course name | Type | Latest/upcoming Semester | TISS link |
|---|---|---|---|---|
| 181221 | Seminar Formal Methods | SE | 2025S |