박창희 Changhee Park

Ph.D. Candidate, PLRG Lab.
Computer Science Department
Korea Advanced Institute of Science and Technology

• Static analysis for JavaScript programs
• Scalable, accurate, and practical program analyses
• Proof assistants for programming languages and program analyses

Ph.D. in Computer Science, February 2012 - Present
Computer Science Department, KAIST

MS in Computer Science, February 2010 - February 2012
Computer Science Department, KAIST

BS in Computer Science and Computer Engineering, February 2003 - February 2010
Department of Computer Science and Engineering, Sogang University

• Changhee Park, Hongki Lee, and Sukyoung Ryu, "An Empirical Study on the Rewritability of the with Statement in JavaScript," 2011 International Workshop on Foundations of Object-Oriented Languages, October 2011.

• Sukyoung Ryu, Changhee Park and Guy L. Steele Jr., "Adding Pattern Matching to Existing Object-Oriented Languages," 2010 International Workshop on Foundations of Object-Oriented Languages, October 2010.

Rm. 4409, Department of Computer Science (E3-1)
Korea Advanced Institute of Science and Technology
Guseong-dong, Yuseong-gu
Daejeon 305-701, Korea

Email: changhee.park [at] kaist.ac.kr
Phone: +82-42-350-7738
Fax: +82-42-350-7838