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 as a Proof Engineer in the Trustworthy Systems group at Data61, having studied type theory and programming language semantics for my Honours Thesis at UNSW under the supervision of Ben Lippmeier.

I maintain a keen side interest in blockchain technology, particularly smart contract security and efficiency, and Proof of Stake consensus protocols.

You can find code that I have written on GitHub, a large portion of which is in Rust, one of my favourite languages.

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