Skip to content
View d01c2's full-sized avatar
🎯
🎯

Highlights

  • Pro

Organizations

@HaskellSchoolKR @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!

Scala TypeScript Rust

Visits

Top Langs

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

🎧 Interests

My research interests are program synthesis and program analysis based on programming language theory. In particular:

  • Program Synthesis: Reducing the burden of software development by automatically generating programs
  • Program Analysis: Automatically detecting software bugs and vulnerabilities using both static and dynamic methods

Outside of research, I’m deeply interested in smart contract security, WebAssembly, and exploring various tools in the JavaScript ecosystem. I spend my free time tackling CTF challenges and analyzing open-source projects for fun.

Beyond programming, I enjoy coffee, whiskey, 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