박지혁

Jihyeok Park

Ph.D. Candidate, PLRG Lab.

School of Computing

Korea Advanced Institute of Science and Technology

Research Interests

  • JavaScript Static Analysis

  • Mechanized Specification

  • Static/Dynamic Hybrid Approach

  • Parsing Expression Grammar (PEG)

Education

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

Contact

Rm. 4410, School of Computing (E3-1), KAIST

291 Daehak-ro

Yuseong-gu

Daejeon 34141

Republic of Korea

Email: jhpark0223 [at] kaist.ac.kr