Zeta611 / Zeta611

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

🏠 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.

πŸ“š Interests

  • πŸŽ“ 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!

πŸ›  Skills

Professional:

Proficient:

πŸ“Š Some stats

My top languages

πŸ”— Links

About