

Adept in Ocaml, C++, showcasing a deep understanding of compilers. Awarded Third Prize in ACM Programming Contest, demonstrating exceptional problem-solving skills and a commitment to excellence. Fluent in English and Korean, effectively bridging communication in international academic forums.
Through learning basics of Java syntax and algorithms, and by developing actual game projects, students gain an understanding of programming.
Awarded Third Prize in the ACM Programming Contest, Shandong Province, during freshman year
Fully fluent in English and Korean, TOPIK Level 5, TOEFL score of 80
Experienced in participating in international conferences such as APSEC and SIGPL
Proficient in Python, C, and Ocaml programming languages
Deep understanding of compilers, capable of writing simple compilers in Ocaml
In-depth knowledge of program synthesis, currently researching the integration of traditional program synthesis and large model code generation