About me

I am a PhD Candidate 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 advised by Dr. Syed Hussain and Dr. Gary G. Tan.

Interests and Tools

• Formal Verification, Proof Assistant
• Coq, OCaml, Rust
• Computer Security