박지혁

Jihyeok Park

Ph.D. Candidate, PLRG Lab.

School of Computing

Korea Advanced Institute of Science and Technology

Research Interests

  • JavaScript Static Analysis

  • Static/Dynamic Hybrid Approch

  • Analysis Sensitivity

  • Memory Abstraction

  • Formal Verification

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

Publications

Journal

Conference

Contact

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

Korea Advanced Institute of Science and Technology

Daehak-ro 291

Guseong-dong, Yuseong-gu

Daejeon 305-701, Korea

Email: jhpark0223 [at] kaist.ac.kr, jhpjhp0223 [at] gmail.com

Mobile: +82-10-4126-8418

Phone: +82-42-350-7838