Junhee Cho

Graduate Student
KAIST School of Computing
291 Daehak-ro, Daejeon, 34141, Republic of Korea


  • M.S. in Computer Science Sep. 2016 - Aug. 2018
    Korea Advanced Institute of Science and Technology Advisor: Prof. Dr. Martin Ziegler
    Thesis: Computing Periods
  • B.S. in Computer Science and in Mathematics Feb. 2008 - Aug. 2016
    Korea Advanced Institute of Science and Technology Advisor: Prof. Dr. Sukyoung Ryu


    Refereed Papers in International Conference Proceedings
  1. Junhee Cho, Sewon Park, and Martin Ziegler, "Computing Periods...," In: M. Sohel Rahman, Wing-Kin Sung, and Ryuhei Uehara (eds) WALCOM: Algorithms and Computation - 12th International Conference, WALCOM 2018, Proceedings, vol. 10755 of Lecture Notes in Computer Science, Springer, March 2018. doi:10.1007/978-3-319-75172-6_12
  2. Junhee Cho and Martin Ziegler, "Computing Periods...," The 14th International Conference on Computability and Complexity in Analysis, July 2017.
  3. Junhee Cho and Sukyoung Ryu, "JavaScript Module System: Exploring the Design Space," Proceedings of the 13th International Conference on Modularity, April 2014. doi:10.1145/2577080.2577088
  4. Junhee Cho, "Rewriting JavaScript Module System," Proceedings of the 12th Annual International Conference Companion on Aspect-oriented Software Development, March 2013. ACM Student Research Competition (Undergraduate) 1st. doi:10.1145/2457392.2457412
  5. Hongki Lee, Sooncheol Won, Joonho Jin, Junhee Cho, Sukyoung Ryu, "SAFE: Formal Specification and Implementation of a Scalable Analysis Framework for ECMAScript," The 19th International Workshop on Foundations of Object-Oriented Languages, October 2012.
    Technical Reports
  1. Junhee Cho and Sukyoung Ryu, "JavaScript Module System: Exploring the Design Space (Extended with Formalization)," Technical Report, KAIST, July 2013.

Honors and Awards

  • Republic of Korea Cyber Commander’s Commendation Award Nov. 2014
    For the distinguished service from Major General Sung Jik Cho in Republic of Korea Army, Republic of Korea Cyber Commander.
  • Software Maestro Jul. 2012 - Nov. 2012
    An annual educational program on software engineering for 100 outstanding students by Ministry of Knowledge Economy, Republic of Korea. My team developed a cloud service using OpenStack and Chef.
  • 13th Place, The 35th Annual ACM-ICPC World Finals 27 May 2011
  • 4th Place, The 2010 ACM-ICPC Asia Tokyo Regional Contest 12 Dec. 2010
  • 1st Place, The 2010 ACM-ICPC Asia Daejeon Regional Contest 29 Oct. 2010
  • 2nd Place, The 2009 ACM-ICPC Asia Seoul Regional Contest 5 Nov. 2009

Work Experiences

  • Republic of Korea Cyber Command Seoul, Republic of Korea
    Software Engineer, Sergeant in Republic of Korea Army Jul. 2013 - Apr. 2015
    • Developed an endpoint security solution for Republic of Korea Armed Forces military networks.
    • Designed and implemented the Windows clients in the solution.
    • Received Republic of Korea Cyber Commander’s Award for the distinguished service.

Teaching Experiences and Volunteering

  • Korea Advanced Institute of Science and Technology (KAIST) Daejeon, Republic of Korea
    Teaching Assistant of Design and Analysis of Algorithms (CS500) Feb. 2018 - Jun. 2018
    Teaching Assistant of Operating Systems and Laboratory (CS330) Sep. 2016 - Dec. 2016
    Teaching Assistant of Programming Languages (CS320) Feb. 2012
    • Taught Scheme, the language required in programming languages course, to students taking the course during the first two weeks.
    Teaching Assistant of a Course Management System (KAIST Moodle) Jan. 2010 - Jan. 2011
    • Developed and operated a course management system (CMS) based on Moodle, an open-source CMS.
    • Designed and implemented algorithms to assign approximately 500 freshmen to two dozen projects in Freshmen Design Course, a mandatory course for all freshmen.
  • Adama Science and Technology University (ASTU) Adama, Ethiopia
    Volunteer 10 Jul. 2016 - 5 Aug. 2016
    • Taught algorithms and problem solving to prepare for ACM-ICPC Africa Regional Contests.
    • Invited by Dr. Kyung-Yong Chwa, Dean of School of Electrical Engineering and Computing.
    • As part of World Friends IT Volunteers supported by National Information Society Agency (NIA), Republic of Korea.
  • Daejeon Institute of Education Information Daejeon, Republic of Korea
    Part Time Lecturer Jun. 2010 - Jul. 2010
    Part Time Lecturer Jun. 2009 - Jul. 2009
    • Taught algorithms and problem solving to middle and high school students who got through to Korea Olympiad in Informatics on behalf of Daejeon Metropolitan City.
  • Korea Game Science High School Wanju, Republic of Korea
    Part Time Lecturer Jan. 2010 - Jan. 2011
    • Taught algorithms and problem solving to prepare for Korea Olympiad in Informatics (KOI).