Skip to content
View yusungsim's full-sized avatar
:dependabot:
This is my GitHub profile status 👍
:dependabot:
This is my GitHub profile status 👍
6 followers · 14 following
  • KAIST
  • Daejeon, Korea

Achievements

Achievement: Pull SharkAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull SharkAchievement: Arctic Code Vault Contributor

Block or report yusungsim

Report abuse

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

Report abuse
yusungsim/README.md

Yusung Sim (심유성)

Ph.D. Student at PLRG, KAIST, Republic of Korea.

My research focuses on Programming Languages and Type Systems — developing tools and theories to make software safer and more reliable.

Education

Degree Institution Year
Ph.D. (ongoing) KAIST, Computer Science —
M.S. KAIST, Computer Science Feb 2023
B.S. KAIST, Computer Science (Minor: CT Program) Feb 2021

Research Interests

  • Programming language theory
  • Type systems and type checker correctness
  • Rust programming language, specifically HIR-level type checking

Contact

Email Google Scholar LinkedIn

Popular repositories Loading

  1. localstorage-fs localstorage-fs Public

    Mock file system using browser localStorage API

    JavaScript 2

  2. dogbunnysolver dogbunnysolver Public

    Automatic solver for (Dog Bunny Puzzle)[http://www.dogbunnypuzzle.com/]

    Scala 1

  3. zulip-emoji-uploader zulip-emoji-uploader Public

    Python script for bulk-uploading emoji pack to Zulip servers

    Python 1

  4. ctp431-2017 ctp431-2017 Public

    Forked from sys5867/ctp431-2017

    Web Audio Code for CTP431, KAIST

    JavaScript

  5. ist-project-repo ist-project-repo Public

    Forked from sys5867/ist-project-repo

    Java

  6. ctp441-game-project ctp441-game-project Public

    Forked from sys5867/ctp441-game-project

    HTML