Ph.D. Candidate, PLRG Lab.

School of Computing

Korea Advanced Institute of Science and Technology

Research Interests

• Abstract Interpretation

• Program Transformation

• Memory Abstraction

Education

Integrated MS & Ph.D. in Computer Science, Mar. 2020 - Present

School of Computing, KAIST

MS in Computer Science, Mar. 2019 - Feb. 2020

School of Computing, KAIST

BS in Mathematical Science & Computer Science, Mar. 2015 - Feb. 2019

Department of Mathematical Sciences, KAIST

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: jiheepark [at] kaist.ac.kr