Skip to content
View d01c2's full-sized avatar
🎯
🎯
56 followers · 204 following

Achievements

Achievement: Pull Sharkx2Achievement: YOLOAchievement: Quickdraw

Achievements

Achievement: Pull Sharkx2Achievement: YOLOAchievement: Quickdraw

Highlights

  • Pro

Organizations

@HaskellSchoolKR @es-meta @ku-plrg

Block or report d01c2

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
d01c2/README.md

🌏 Hello, World!

Visits

Top Langs

Currently, I am a member of the Programming Language Research Group (PLRG) at Korea University, advised by Jihyeok Park.

🎧 Interests

My main research interest is program analysis, including both static and dynamic approaches.

Beyond programming, I enjoy coffee, whisk(e)y, and movies—a mix of interests that keeps life balanced.

Popular repositories Loading

  1. ku-plrg.github.io ku-plrg.github.io Public

    Forked from ku-plrg/ku-plrg.github.io

    연구실 홈페이지

    SCSS

  2. d01c2 d01c2 Public

  3. esmeta esmeta Public

    Forked from es-meta/esmeta

    ECMAScript Specification (ECMA-262) Metalanguage

    Scala

  4. network-security network-security Public archive

    Network Security Assignment Repository, 2024 Spring

    Go

  5. ecma262 ecma262 Public

    Forked from tc39/ecma262

    Status, process, and documents for ECMA-262

    HTML

  6. github-readme-stats github-readme-stats Public

    Forked from anuraghazra/github-readme-stats

    ⚡ Dynamically generated stats for your github readmes

    JavaScript