Chungha Sung

Download CV  


Aug. 2017 - Present University of Southern California (USC)
Los Angeles, CA, United States
Department of Computer Science (CS)
Ph.D program

- Expected Graduation: Fall 2021
Aug. 2014 - Dec. 2016 Virginia Polytechnic Institute and State University (Virginia Tech)
Blacksburg, VA, United States
Department of Electrical and Computer Engineering (ECE)
Master of Science in Computer Engineering
- GPA: 3.74/4.0
Mar. 2007 - Aug. 2013 Sung Kyun Kwan University (SKKU)
Seoul, Korea
Department of Semiconductor Systems Engineering
Bachelor of Science in Engineering
- GPA: 4.03/4.5, Major GPA: 4.04/4.5, Last 2-year GPA: 4.26/4.5
Mar. 2005 - Feb. 2007 Gangwon Science High School
Wonju-si, Gangwon-do, Korea
- Grade skipping and early graduation (1 year)


Aug. 2017 - Present Research Assistant in Reliable & Secure Software group, University of Southern California
 - Advisor: Dr. Chao Wang
May. 2018 - Aug. 2018
Compiler team Internship at Media Teck, Inc (MA, USA)
 - Manager: Dr. Henry Cox
 - Built a constraint-based instruction-set verifier for various architectures
 - Integrated a fuzz-testing system for instruction-set firmware implementations
May. 2017 - Aug. 2017
Research Internship at Microsoft Research in India
 - Manager: Dr. Akash Lal
 - Extended a Scope query optimization tool to support more queries such as queries which have uninterpreted functions
Jan. 2015 - May. 2017 Research Assistant in Reliable & Secure Software group, Virginia Tech
 - Static Analysis of web application for testing using DOM dependency Analysis (C++, JavaScript, nodejs, Z3-SMT solver)
 - Verification of interrupt-driven programs (C++, LLVM, Z3-SMT solver)
Sep. 2014 - Dec. 2014 Teaching Assistant in Electrical and Computer Engineering, Virginia Tech  - Manged lab sessions and graded course assignments in Microcontroller Interfacing class (Sophomore course)
Mar. 2013 - June. 2014
Undergrad Researcher in Parallel Architecture and Programming Lab (PAPL), SKKU
 - Implemented and developed a graphical visualization program
May. 2013 - Sep. 2013 Google Summer of Code 2013 (GSoC 2013)
 - Contributed to publishing a graphical open-source package named "RIGHT" in R project
Mar. 2013 - June. 2013 Teaching Assistant in Semiconductor Systems Engineering, SKKU
 - Made a course project running on FPGA with VHDL and managed lab sessions in Logic Design Laboratory (Sophomore course)
July. 2012 - Aug. 2012 Summer Internship in AhnLab (The largest security vendor in Korea)
 - Participated in changing boot loader sequence of server fro making server maintenance easier
Mar. 2012 - June. 2012 Teaching Assistant in Semiconductor Systems Engineering, SKKU
 - Made three ARM-core based sorting optimization projects with Verilog HDL and graded all course assignments int Digital System class (Junior course)


Nov. 2016 SIFSOFT CAPS Travel Award ($1,000) for FSE (ACM SIGSOFT International Symposium on the Foundation of Software Engineering)
July. 2016 CAV (International Conference on Computer Aided Verification) Travel Award ($1,500)
Mar. 2007 - Aug. 2013 Full Merit-based awards from SKKU for full academic years 
June. 2013 First prize for undergraduate graduation thesis and project award from SKKU
Apr. 2012 Dean's List award from SKKU
 - for top 5% students in one semester
Mar. 2007 - Dec. 2008 Scholarship from Samsung Electronics for 2 years