Skip to main content

Michael Sproul
Proof Engineer

Research Interests

Michael is interested in formal verification, programming language semantics and distributed systems. He is working on CakeML and seL4 as part of the CASE project.

Contact Details

Email:Michael.Sproul@data61.csiro.au

More contact information is available at the Contact page.

Photo of Michael Sproul

Projects

Current

Served by Apache on Linux on seL4.