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

I've spent the last several years working in Security/Dev/Ops specialising 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: Kubernetes, Go, PKI, automated deployment, Category Theory, Modal Logics, Process Algebras