About me

I am a Master’s student in Computer Science and Engineering at Pennsylvania State University. Prior to joining Penn State, I obtained my B.E. in Computer Science and Technology at ShanghaiTech University.

I am interested in Computer Security and Programming Languages. I am part of the System and Network Security (SyNSec) lab led by Prof. Syed Hussain.

Interests and Tools

• Formal Methods, Program Analysis, Verified Cryptography
• Coq, F-Star, Frama-C, OCaml
• Separation Logic, Computer Security