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