Work in progress

I'm just getting started! I plan to post here about research in the field, both mine and others. It will be a place for musings as well as more technical walkthroughs.

If you have any ideas on potential topics related to my interests, I'd be happy to hear from you. The plan for my first post is to walk through a formally verified implementation of a toy financial exchange: the theory behind it, the work that goes into it, and what we gain from the verification.