I'm a Ph.D. student at Michigan State University Computer Science & Engineering Department. My research interests are: Formal Methods for Verification, Model Checking, Synthesis of Hyperproperties, Security and Privacy.
I am interested in applications of formal methods in computer security for ensuring soundness of computer programs, including designing efficient verification algorithms. Given the importance of trustworthiness and security in cyberspace, this is an extremely important area of research with many practical applications.
Besides research, I have also learned piano and violin for 15+ years. I performed Tchaikovsky Piano Concerto No.1 with Iowa State University (ISU) Symphony Orchestra in 2015, held a Solo Piano Recital in 2017, and was the Assistant Principal violinist for ISU Symphony Orchestra.