Skip to content

Latest commit

 

History

History
15 lines (11 loc) · 578 Bytes

index.md

File metadata and controls

15 lines (11 loc) · 578 Bytes
Raw
layout title
default
Hello

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, Proof Assistant
  • Coq, OCaml
  • Separation Logic, Computer Security