I’m a computer science master’s student at the University of Minnesota, advised by Favonia.
My current research is cubical type theory and its applications to formalizing some results in algebraic topology.
I also work as a researcher for SIFT, specializing in compilers and binary analysis. Previously I worked as a software engineer at Swoop Search and AWS.
Before that, I was a CTF hobbyist. I created EasyCTF, a cybersecurity competition for high schoolers.
I also briefly played with the CTF team Project Sekai.
More »