Researcher

Keywords

Fields of Research (FoR)

Formal methods for software, Concurrency theory, Software testing, verification and validation

My Qualifications

PhD Auckland 2022


My Research Activities

Roger Su currently works on the PISTIs-V project in the Trustworthy Systems group, in particular on the reasoning framework for real-time mix-criticality scheduling properties. 

Location

Engineering
Level 3, K17 Building

Contact

UNSW Sydney NSW 2052 Australia Telephone +61 2 93851000
Authorised by Deputy Vice-Chancellor (Research)
UNSW CRICOS Provider Code: 00098G ABN: 57 195 873 179

Join the conversation