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

More contact information is available at the Contact page.

Photo of Michael Sproul



Served by Apache on Linux on seL4.