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.