Broadly, I'm a logician and analyst. I enjoy using formal techniques to develop elegant and efficient solutions to challenging problems.

0 blog posts written