معرفی
Rob Sison is a Senior Research Associate at the Trustworthy Systems research group of UNSW Sydney's School of Computer Science and Engineering (CSE) and an Honorary Fellow at the University of Melbourne's School of Computing and Information Systems (CIS). They hold a PhD in Computer Science and Engineering (2020) and a Master of Information Technology (2016) from UNSW Sydney, following a five-year career as an OS-level software developer at Open Kernel Labs (later General Dynamics C4 Systems).
Research Interests: Formal methods for proving absence of information flow in high-assurance systems, focusing on concurrency, secure compilation, and microarchitectural timing channels. They are broadly interested in interactive theorem proving and scaling formal verification to complex software systems.
Scientific Awards:
- Distinguished Artifact Reviewer, OOPSLA External Review / Artifact Evaluation Committee (SPLASH 2023)
- Distinguished Artifact Reviewer, OOPSLA Artifact Evaluation Committee (SPLASH 2021)
- 2021 Australian Museum Eureka Prize for Outstanding Science in Safeguarding Australia (co-recipient)
- CSIRO Data61 Research Project Award (PhD top-up scholarship, 2016-2020)
Supervision: Active co-supervision of PhD students at UNSW Sydney and University of Melbourne, including Pengbo Yan (University of Melbourne) and Kevin Tran (UNSW Sydney), with a focus on formal methods for information flow and concurrency. Grant involvement includes ARC DP190103743 (2020-2023).
Labs & Collaborations: Works closely with the Trustworthy Systems group at UNSW Sydney and the CS Security Research group at the University of Melbourne, contributing to projects on seL4/l4v's EquivValid library and COVERN-RG logic.
