conf.researchr.org / Graeme Smith
Registered user since Wed 1 Mar 2023
Name:Graeme Smith
Country:Australia
Affiliation:The University of Queensland
Personal website: https://staff.itee.uq.edu.au/smith/
Research interests:Formal methods, concurreny, information flow security
Contributions
2026
FM
- Committee Member in Tutorial Track Committee within the Tutorials-track
- Author of Generating Rely-Guarantee Conditions with the Conditional-Writes Domain within the Research Track-track
- Author of Autograding Weakest Precondition Proofs and Dafny Specifications within the Workshop: FMTea-track
- Session Chair of FMTea Session 2 (part of Workshop: FMTea)
- Session Chair of Session 1: Information Flow Verification (part of Research Track)
- Committee Member in Program Committee within the Research Track-track