Skip to content
View d01c2's full-sized avatar
🎯
🎯
35 followers · 142 following

Achievements

Achievement: YOLOAchievement: Pull SharkAchievement: Quickdraw
BetaSend feedback

Achievements

Achievement: YOLOAchievement: Pull SharkAchievement: Quickdraw
BetaSend feedback

Highlights

  • Pro

Organizations

@ku-plrg
Block or Report

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 Go Rust

I am an undergraduate student at Dept. of Cyber Defense, Korea University.
Currently, I am a member of Programming Language Research Group (PLRG) in Korea University advised by Jihyeok Park.

🎧 Research Interests

Nowadays, I have fun working on compiler projects in my free time.

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

  • Program Synthesis for lessening the burden of software development by automatically generating programs
  • Static Analysis for automatically detecting software bugs and vulnerabilities

Popular repositories

  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. sum-test sum-test Public

    Go

  5. add-nbo add-nbo Public

    Go

  6. pcap-test pcap-test Public

    Go