About
I am an undergraduate student at the Department of Computer Sciences at University of Wisconsin-Madison, pursuing a double major in Computer Science and Mathematics.
Research Interests: My primary interests lie in the intersection of programming language, system and Cryptography. Specifically:
- Programming Language & Formal Verification
- Cryptography
- Distributed System