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.

More contact information is available at the Contact page.