Jihyeok Park
Assistant Professor at 고려대학교
Seoul, South Korea
Summary
🤩
Rockstar🎓
Top SchoolJihyeok Park is an Assistant Professor at Korea University's Programming Language Research Group with 12 years of experience focused on programming languages and software engineering research, including program analysis, mechanized specification, program synthesis, and automated testing. He holds a PhD from KAIST with outstanding academic performance and previously served as a postdoctoral fellow at Oracle Labs Australia, bridging academic rigor with industry-facing research. His contributions to the ECMA-262 specification—editing normative bugs, refining grammar, and clarifying algorithmic return types—demonstrate an uncommon mix of formal methods expertise and practical impact on the JavaScript language itself. Based in Seoul, he combines deep theoretical knowledge with hands-on specification work, making his research directly relevant to real-world language design and tooling.
12 years of coding experience
Doctor of Philosophy - PhD, Computer Science, 4.01 out of 4.3, Doctor of Philosophy - PhD, Computer Science, 4.01 out of 4.3 at Korea Advanced Institute of Science and Technology (KAIST)
Stackoverflow
1reputation
119reached
0answers
1question
Github Skills (7)
spec10
javascript10
specification10
ecmascript10
algorithm9
algorithms9
typescript6
Programming languages (5)
Github contributions (5)
tc39/ecma262
Mar 2020 - Dec 2022
Status, process, and documents for ECMA-262
Role in this project:
Back-end Developer
Back-end DeveloperContributions:6 reviews, 14 commits, 42 PRs in 2 years 9 months
Contributions summary:Jihyeok primarily contributed to the ECMA-262 specification, focusing on editorial improvements and fixing normative bugs within the specification. Their work included correcting typos, fixing bugs in number operations, and refining grammar to clarify language semantics. Additionally, the user added markup to improve structure and fix return types within the specification's algorithms. The changes directly impact the accuracy and clarity of the JavaScript language specification.
ecmaecmascriptjavascript
kaist-plrg/jstar
Jul 2021 - Feb 2022
JSTAR: JavaScript Specification Type Analyzer using Refinement
Contributions:4 releases, 1 review, 34 commits in 7 months
javascript
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.