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.
Projects
Current |
Past |