
I’m a masters student at the University of Minnesota advised by
Favonia. I
previously worked as a Software Developer at
AWS and
SIFT. My
computing-related interests lie in programming language design and formal
verification, systems security, cryptography, and distributed systems.
More »