Chungha Sung

Chungha Sung

  Research Assistant
  The department of Computer Science
  University of Southern California

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

Research Interests

  • Programing analysis and verification
  • Optimizing Verification of concurrent programs
  • Static programming analysis of event-based programs and multi-threaded programs