ISSTA/ECOOP 2024 (series) / Rob Sison
![Rob Sison](https://conf.researchr.org/getProfileImage/robsison/2168e33a-32b7-43ff-90ec-e1339de643b6/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
Using general profile