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!
- https://zetablog.io (personal blog in Korean)
- http://ropas.snu.ac.kr/~jhlee/
- Curriculum Vitae