![](https://tiss.tuwien.ac.at/illustration/anzeigen/0dba31ff72e8.jpeg?v1)
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 |