The University of New South Wales

Ryan Barry
Proof Engineer

Research Interests

Ryan is a software engineer who specialises in interactive theorem proving and concurrency theory. He is currently working on security proofs for the RISC-V architecture as part of the Time Protection project.

Contact Details

More contact information is available at the Contact page.

Photo of Ryan Barry