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