Education
[+ show more]Pohang University of Science and Technology
Feb 2022 - OngoingGPA: 4.16 / 4.30
Activities and Societies:
- PLUS (POSTECH Laboratory for UNIX Security): Hacking Club.
- MARCUS: Math & Academic Presentation Club.
Work Experience
[+ show more]Seoul National University
Sep 2024 - Apr 2025Skills used: C++, LLVM, RISC-V
Worked on:
- LLVM auto-vectorization for scalable vector architectures. (RISC-V V extension, ARM SVE)
- Enhancements for LLVM loop vectorization. (up to ~15x speedups in synthetic benchmarks)
Theori
Jan 2024 - Jul 2024Skills used: Rust, Static Program Analysis, Solidity
Worked on security-focused static analysis engine for web3 applications.
Areas of interest:
- Translating Solidity code to intermediate representation suitable for data-flow analysis.
- Simplified memory model of Ethereum Virtual Machine.
- Vulnerability detection of smart contracts using data-flow analysis.
PoApper Inc.
Jan 2022 - Mar 2023Skills used: Python, Go
Developed fights.ai, an environment for competitive game-playing agents.
Areas of interest:
- Developer-friendly Python API for game-playing agents.
- Server infrastructure based on message queue for competitive gameplay.
- Isolated per-agent environment for multiplayer games.
Awards and Honors
[+ show more]ROKAF Cybersecurity Competition
Jun 2026Internal CTF event of ROKAF. Finished finals as 9th place.
MLSys 2026 Google Competition
May 2026A challenge focusing on computation graph optimization.
Whitehat 2025 CTF
Oct 2025Qualified as 7th place, finished finals as 6th place.
National Science & Technology Scholarship
May 2024POSTECH CSE Global Leadership Program 2024 Spring
Mar 2024A scholarship program for high-performing POSTECH CSE students.
POSTECH CSE Global Leadership Program 2023 Fall
Sep 2023A scholarship program for high-performing POSTECH CSE students.
Crypto Contest 2022
Oct 2022Cryptanalysis competition hosted by South Korean Ministry of Defense.
Contributions:
- Multi-threaded PoC code for attacking weak Bitcoin-like wallet scheme.
- Security analysis of Sponge-based hash function.
POSTECH Programming Contest 2022
Sep 2022Coding competition for POSTECH students.
Participated as Team 대줴패, ranked first among freshman students.
AI Accelerator Design Competition
Jun 2022Competition to design an FPGA-based accelerator for neural networks.
Worked on: 8-bit quantization algorithm of YOLOv3 neural network.
Certifications
Industrial Engineer Information Processing
Dec 2025Craftsman Information Processing
Apr 2024TOEFL
Jul 2023Personal Projects
[+ show more]Qwen2 Inference from Scratch
Oct 2025 - Jan 2026- Written in CUDA and C++.
- Uses minimal dependencies.
- Learned internals of transformer-based large language models and CUDA kernel optimization.
Notable features:
- Command line based chat interface with token streaming.
- Basic optimizations such as KV caching and async memory copy.
- Optimized for single-batch inference by utilizing FastGEMV kernel.
GPU-accelerated Ray Tracer
May 2024 - Jun 2024- Started as a term-project for Computer Graphics course.
- Written in Vulkan compute shader, more than 10x speedup compared to CPU based ray tracer.
- Learned internals and low-level details of modern graphics pipeline.
Notable features:
- Support for metallic, dielectric, and diffuse materials.
- Simulation for hypothetical portal materials.
- Utilization of modern technology stack, such as Vulkan and dynamic rendering.
TML (Tiny ML) Compiler
May 2024- Compiles Tiny ML, a subset of Standard ML, into machine code for virtual machine
Mach. - Written in OCaml.
- Learned internals of compilers for functional languages, and various implementation strategies.
Notable features:
- SSA-like intermediate representation.
- Support for closures, higher-order functions, recursive datatypes and pattern matching.
PintOS Implementation
Sep 2023 - Dec 2023- Written in C and x86 assembly.
- Worked on threading, userspace programs, and virtual memory system.
Notable features:
- Virtual memory system similar to object-based reverse mapping of Linux.
- Reduced memory usage by reusing already-loaded code sections.
stapl
Dec 2022A compiler for imperative programming language with type annotations.
- Written in C++ and based on LLVM.
Striving to follow best practices of modern C++ and software development:
- Modularity, unit testing, documentation, etc.