A software engineer interested in developing scalable, performant, and safe abstraction of cutting-edge technologies.

• FuriosaAI
  Software Engineer
  Feb. '21 -

  • Leads Optimization Working Group in Compiler team.
    • Designs and implements global optimization passes of DNN compiler.
    • Analyzes and scales compiler performance for large models.
  • Elaborates abstractions of HW primitives for compiler backend.
  • Implements and optimizes simulator of DNN accelerator.

  Used skills: Rust, C++, Python

• FuriosaAI
  Software Engineering Intern
  Mar. - Aug. '20

  Developed deep-learning model transformations and optimizations for inference accelerators.

  Used skills: Rust, Python

• KAIST
  M.S. in Computer Science
  Mar. '19 - Feb. '21

  Researched type-guided refactoring to secure memory safety of legacy C kernels using Rust.

  Worked at Programming Languages Research Group and
  Co-worked at Concurrency and Parallelism Laboratory.

• KAIST
  B.S. in Mathematics and Computer Science (double degree)
  Mar. '14 - Feb. '19
  Cumulative GPA: 3.93/4.3

• Programming Languages: Rust, Python, C, JavaScript, Haskell, ...
• Tools: git, docker, tmux, ssh, vs code, vi (using nvim), linux (using manjaro on laptop), latex, make, ...