Name: First Steps Towards Verification of User-Space Systems
Start: 2024-10-16T10:30:00+1100
End: 2024-10-16T11:00:00+1100

Wednesday October 16, 2024 10:30 - 11:00 AEDT

Banksia + Bluegum

Speakers

Matthew Brecknell

Verification Engineer, Kry10

Matthew is a formal verification practitioner. He has made significant contributions to the seL4 verification story, and is a member of the seL4 Foundation Technical Steering Committee. At Kry10, Matthew is developing the next generation of high-assurance remotely-managed seL4-based... Read More →

Wednesday October 16, 2024 10:30 - 11:00 AEDT
Banksia + Bluegum

Presentations Sessions

seL4 Summit 2024

Matthew Brecknell

Sign up or log in to save this to your schedule, view media, leave feedback and see who's attending!