| layout | title |
|---|---|
default |
Curriculum Vitae |
| 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 |