Skip to main content

Michael Sproul
Proof Engineer

Research Interests

Michael is working on CakeML and seL4 verification as part of the CASE project.

Contact Details

Email:Michael.Sproul@data61.csiro.au

More contact information is available at the Contact page.

Projects

Current

Served by Apache on Linux on seL4.