- 🔐 Applying formal methods to prove cloud security properties
- 🔥 eBPF to observe, then improve, application performance
- 🔮 Stitching together APIs from cloud providers to automate infrastructure and gain visibility
- Go and Python for building products
- C and Java in academic environments
- DevOps: Kubernetes, AWS, GitHub Actions