🏠 Welcome to my ~(/hoʊm/)

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.

Fun fact: I'm one of the most active GitHub committers in Korea !

📚 Interests

• 🎓 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!

🪄 Pointers

• https://jaylee.xyz
• http://ropas.snu.ac.kr/~jhlee/
• Curriculum Vitae

💫 Selected repositories

🧙🏻‍♂️ Programming languages

📜 TeX and friends

🌸 Fun