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
- Leads Optimization Working Group in Compiler team.
-
FuriosaAI
Software Engineering Intern
Mar. - Aug. '20Developed deep-learning model transformations and optimizations for inference accelerators.
Used skills: Rust, Python
-
KAIST
M.S. in Computer Science
Mar. '19 - Feb. '21Researched 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, ...