박경희

Gyunghee Park

MS Candidate, PLRG Lab.

School of Computing

Korea Advanced Institute of Science and Technology

Research Interests

  • Type system

  • Scalable and precise static analysis

Education

MS in Computer Science, Mar. 2017 - Present

School of Computing, KAIST

BS in Mathematics & Computer Science, Feb. 2012 - Feb. 2017

Department of Mathematical Sciences, KAIST

Publications

Conference