Chungha's Website

Chungha Sung

I completed my Ph.D degree in Computer Science at University of Southern California (USC) and M.S. at Virginia Tech under the guidance of Prof. Chao Wang. Also, I received my B.S. from Sung Kyun Kwan University (SKKU) advised by Prof. Jae W. Lee.

Research interests (Publication list, Google scholar)

Static/Dynamic program analysis and formal methods to solve numerous software engineering problems
Contraint-based program analysis for efficient automated reasoning techniques for concurrent software [Dissertation, FSE16, ASE17, ASE18]
Software side-channel analysis/attacks/mitigations [ASE-tool18, FSE19, ASE19, ICSE21]
Automatic program maintenance and repair [ICSE-SEIP20]

Internships

Microsoft Research, Redmond, USA (Summer 2019)
MediaTek Inc., Boston, USA (Summer 2018)
Microsoft Research, India (Summer 2017)
AhnLab Inc., Korea (Summer 2012)