Jack McKeown
PostDoc researcher
| Group | Automated Program Reasoning |
|---|---|
| john.keown@tuwien.ac.at | |
| Other links |
Teaching
| Course number | Course name | Type | Latest/upcoming Semester | TISS link |
|---|---|---|---|---|
| 192035 | Project in Computer Science 2 Trends in cloud computing | PR | 2026S |
| Group | Automated Program Reasoning |
|---|---|
| john.keown@tuwien.ac.at | |
| Other links |
| Course number | Course name | Type | Latest/upcoming Semester | TISS link |
|---|---|---|---|---|
| 192035 | Project in Computer Science 2 Trends in cloud computing | PR | 2026S |