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 (112)
vim10
specification10
portable10
modular10
tflearn10
csv10
webassembly10
rust10
data-access10
json10
sandbox10
typeprovider10
wasi10
vscode-extension10
vscode10
Programming languages (19)
Github contributions (5)
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
bonjune/Introduction-to-CS
Feb 2019 - Jun 2020
Git repository for CS101 Tutoring Class. Enjoy and have fun!
Contributions:35 commits, 2 PRs, 22 pushes in 1 year 4 months
git-repositorytutoring
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.