[bgibson]

Hey mbrock, off-topic question, but I came across an interesting discussion you had here on HN a few months ago on formal verification of Solidity/EVM and some related work you were doing. I run a conference at Stanford in January on this, would you have any interest in giving a talk on your work there? Contact me if interested.

http://cyber.stanford.edu/bpase18

http://twitter.com/byrongibson