Ph.D. Candidate, PLRG Lab.
School of Computing
Korea Advanced Institute of Science and Technology
JavaScript Static Analysis
Mechanized Specification
Static/Dynamic Hybrid Approach
Parsing Expression Grammar (PEG)
Integrated MS & Ph.D. in Computer Science, Feb. 2017 - Present
School of Computing, KAIST
MS in Computer Science, Feb. 2016 - Feb. 2017
School of Computing, KAIST
BS in Computer Science & Mathematical Science, Feb. 2012 - Feb. 2016
School of Computing, KAIST
Rm. 4410, School of Computing (E3-1), KAIST
291 Daehak-ro
Yuseong-gu
Daejeon 34141
Republic of Korea
Email: jhpark0223 [at] kaist.ac.kr