Hello world, I'm Jay! I am a Computer Science PhD student at UC Berkeley advised by Professor Sarah E. Chasins. I completed 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.
Fun fact: I'm one of the most active GitHub committers in Korea !
- 🎓 Programming language theory and static analysis
- ☯️ Functional programming
- 📱 Web/iOS/macOS development
- 📜 Professional typesetting with LaTeX/Typst
- 💡 Anything in the field of computer science & programming that draws my interest!