Jihyeok Park (박지혁)

I’m recruiting motivated graduate and undergraduate students, as well as postdocs, interested in programming languages and software engineering. See Research and Publications for details.

I’m an Assistant Professor at Programming Language Research Group (PLRG), Dept. of Computer Science and Engineering, College of Informatics, Korea University. I received my Ph.D. from KAIST under the supervision of Prof. Sukyoung Ryu. My main research topic is programming languages and software engineering, including program analysis, mechanized specification, program synthesis, and automated testing. I’m also leading an open-source project, ESMeta, which is a framework that extracts a mechanized specification from a given version of JavaScript (ECMAScript) language specification (ECMA-262) and automatically generates conformance tests or language-based tools.

[Curriculum Vitae (CV)]

Educational Background

Employed Positions

Research Interest

Please see Research.

Publications

Please see Publications.

Professional Activities

Invited Participants

Honors & Awards

  • 고려대학교 우수강좌, COSE212 Programming Languages (2023-2)
  • Ph.D. Dissertation Award, College of Engineering, KAIST, 2022.
  • An Outstanding Ph.D. Thesis, School of Computing, KAIST, 2022.
  • ACM SIGSOFT Distinguished Paper Award, ICSE 2021.
  • Ph.D. Fellowship Award, NAVER Corp., 2020.
  • Outstanding Teaching Assistant Award, KAIST CS320 Programming Languages
    (2016-2 / 2017-1 / 2018-1 / 2018-2 / 2019-1).
  • Outstanding Teaching Assistant Award, KAIST CS109 Programming Practice, 2016 Spring.
  • Best Paper Award, SOAP 2017.
  • ACM Student Research Competition 3rd, Modularity 2014.
  • KAIST Presidential Fellowship, School of Computing, KAIST, 2013.

Courses

Please see Courses.

Talks

Please see Talks.

Contact Information

Room 507, IT & General Education Center (정운오IT교양관)
Dept. of Computer Science and Engineering
Korea University
Anam-dong 5-ga, Seongbuk-gu
Seoul 136-713, Korea
(office) +82) 02-3290-4602