Skip to main content

Ryan Barry
Proof Engineer

Research Interests

Ryan is a proof engineer working on verifying multi-core seL4.

Contact Details

Email:Ryan.Barry@data61.csiro.au

More contact information is available at the Contact page.

Photo of Ryan Barry

Projects

Current

Past

Served by Apache on Linux on seL4.