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