Hi there 👋 🎓 PhD student @UBC-SPL. 🔭 Interested in Automated Testing, Program Analysis and Compilers. ⚡ Dabbling in Zig 📫 Sometimes I write about stuff on my website.