George Kenison
PostDoc researcher
| Group | Automated Program Reasoning |
|---|---|
| Room | Office HA0314 (Show FORSYTE location) |
| george.kenison@tuwien.ac.at | |
| Websites |
https://georgekenison.github.io/ |
| Other links |
ORCID |
| Group | Automated Program Reasoning |
|---|---|
| Room | Office HA0314 (Show FORSYTE location) |
| george.kenison@tuwien.ac.at | |
| Websites |
https://georgekenison.github.io/ |
| Other links |
ORCID |