Michael Sproul

I’m a research-focussed computer programmer with a particular interest in blockchain technology, formal verification and programming languages.

I am currently working two jobs – as a Rust developer at Sigma Prime, and as a proof engineer in the Trustworthy Systems group at Data61.

At Sigma Prime, I’m working on the wonderful Lighthouse client for Ethereum 2.0, which aims to improve the security, scalability and energy efficiency of the present Ethereum network. I’m also interested in smart contract security, and the opportunities for egalitarian anti-corporate cooperation that decentralisation enables.

At Data61, I’m working on the proof ecosystem surrounding seL4, the world’s first verified OS microkernel. This entails adapting the existing proofs to accomodate modifications to the kernel’s source, and expanding the scope of verification so that we can provide greater guarantees about seL4-based systems. I owe much of my aptitude and interest in this stuff to my Honours Thesis supervisor, Ben Lippmeier.

You can keep up with both my jobs and my side projects on GitHub.

I also compose and perform music infrequently, some of which you can find on my SoundCloud.