I'm currently working as a software engineer on infrastructure services.

I've spent the last several years working in Security/Dev/Ops specializing in automation and Public Key Cryptography.

I'm interested in theoretical computer science, abstract mathematics, and practical designs for faster, more reliable, more secure, and more empowering systems.

Topics: Go, PKI, Blockchain, automated deployment, Category Theory, Modal Logics, Process Algebras