-
Mainly Used:
- Rust, C#, C/C++, Nix, Kotlin
- WebGPU+WGSL, Jetpack Compose, OpenGL
- LLVM/MLIR, ClangIR, CoreCLR, C++/CLI, Flakes
-
Honors and Awards:
- 2025.08: KAIST HackQuest, Finalist
- 2025.05: ISEF (International Science & Engineering Fair), Finalist
- 2025.01: KSEF (Korea Science & Engineering Fair), Gold Award
- 2025.01: ERICA High School Startup Contest, Top Prize
- 2024.12: Software FUTURE&DREAM Challenge, Silver Award
- 2024.11: KOPO 벤처창업아이템 경진대회, Grand Prize
- 2024.10: 경기창고, 경기도 디지털 솔루션 경연, Grand Prize
- 2023.08: 전국창업발명경진대회, Grand Prize
- 2022.09: Korean Olympiad in Informatics, Bronze Award (National, Regional)
-
Education:
- 2026.03 - current: KAIST (Korea Advanced Institute of Science & Technology), Bachelor
- 2024.05 - 2024.10: KAST (The Korean Academy of Science and Technology), Science Mentorship Program, Engineering Dept.
- 2023.07 - 2024.02: KITRI (Korea Information Technology Research Institute), BOB, Next-gen Security Leader Training Program, Security Product Development Dept.
- 2023.03 - 2026.02: Korea Digital Media High School, Hacking Defense Dept.
-
Contacts:
System developer / Rust · C/C++ · C# / An university student 🇰🇷
-
KAIST
- Korea, Republic of, Osan
- blog.sharp0802.com
- https://orcid.org/0009-0005-3854-9538
- in/영원-서-aa289627a
- @semaphore0802
Highlights
- Pro
Pinned Loading
-
-
mllif/mllif-project
mllif/mllif-project PublicMLLIF is a MLIR based Language to Language Interoperability Flyover - with a goal to integrate API of all programming languages.
-
chara_card
chara_card Public`chara_card` is a library to deal with character card formats and `.charx` in Rust.
Rust
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.



