I enjoy making things. Here are a selection of projects that I have worked on over the years.
Verifying linearizability for executions of concurrent data structures (eg. stacks, queues and sets).
TODO