I am a generalist.

The common theme across my career has been applying mathematical methods to develop correct, reliable, and understandable systems.

I've helped develop hardware, operating systems, security products, cloud infrastructure, compilers, formal specifications and proofs of their implementation.

I currently focus on using novel computer languages to facilitate the process of designing software and systems by raising the level of abstraction developers need to understand and ensuring these abstractions do not leak through formal methods.