SPLASH 2023 (series) / Rob Sison
![Rob Sison](https://2023.splashcon.org/getProfileImage/robsison/c6fe4c4b-3310-4f1d-9a8d-ce273744e796/small.jpg?1711556246000)
Registered user since Thu 29 Jul 2021
Name:Rob Sison
Country:Australia
Affiliation:UNSW Sydney
Personal website: https://www.robs-cse.com
GitHub: https://github.com/robs-cse
Research interests:Formal Verification, Information-Flow Security, Refinement, Concurrency
Contributions
SPLASH 2023-profile
View general profile
View general profile