Curtis Millar
xurtis
Student at the school of Computer Science and Engineering at UNSW Sydney and engineer in the Trustworthy Systems Group ad Data61.
@seL4 NSW, Australia
Michael Sproul
michaelsproul
Building Ethereum at Sigma Prime. I like types, specs and proofs.
@sigp Sydney, Australia