Bongjun Jang
Daejeon, South Korea
Summary
🤩
Rockstar🎓
Top SchoolBongjun Jang is a systems-focused software engineer with nine years of experience and a strong academic foundation from KAIST, where he pursued both bachelor's and master's studies in computer science and engaged in research on directed fuzzing, translation validation, and compiler testing. He has industry experience as a software engineer at Datamaker and has continued to deepen his expertise through research roles at Prosyslab@KAIST, blending practical engineering with rigorous verification work. Interested broadly in computer systems and programming languages, Bongjun combines hands-on coding—summed up by his concise GitHub motto "I type and verify."—with a growing focus on security, evidenced by studies in cybersecurity at NYU. Based in Daejeon, South Korea, he brings a methodical, verification-minded approach to building reliable software and compilers.
9 years of coding experience
1 year of employment as a software developer
Cybersecurity, Cybersecurity at New York University석사, 전산학부, 석사, 전산학부 at 한국과학기술원(KAIST)
Github Skills (98)
http10
interpreter10
fsharp10
tflearn10
html10
csv10
rust10
webassembly10
json10
sandbox10
typeprovider10
wasi10
vscode-extension10
vscode10
aot10
Programming languages (18)
Github contributions (5)
bongjunj/bongjunj.github.io
Jun 2023 - May 2026
Contributions:86 pushes, 1 branch in 2 years 11 months
bonjune/dr-papper
Apr 2019 - Aug 2019
Dr.Papper Project for KAIST CS374 Intro. to Human Computer Interaction.
Contributions:16 PRs, 80 pushes, 23 branches in 3 months
human-computerinteractionkaisthuman-computer-interaction
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.