I am pursuing my Master's degree in Computer Science and Engineering at Seoul National University under the supervision of Professor Kwangkeun Yi. Before this, I completed my undergraduate studies in Electrical and Computer Engineering at the same university.
- π Programming language semantics and static analysis
- π€ Functional programming
- π± iOS & macOS development
- π Professional typesetting with LaTeX
- Anything in the field of computer science & programming that draws my interest!
Professional:
Proficient:
- https://zetablog.io (personal blog in Korean)
- http://ropas.snu.ac.kr/~jhlee/
- Curriculum Vitae