Trustworthy Systems

Ryan Barry
Proof Engineer

Research Interests

Ryan was 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. He is now a PhD student at ANU.

Contact Details

More contact information is available at the Contact page.

Photo of Ryan Barry