I make things happen. Awesome at fixing broken software. Good at fixing broken process. Good at bringing up juniors. Been around the block.

My current all-consuming personal project is about learning to write formally verified software, and to make techniques available to non-academic programmers. Because software actually sucks.

And pencil, pen and ink.