Kyeongmin Cho
Compiler Engineer at Rebellions
Seongnam-si, South Korea
Summary
👤
Senior🎓
Top SchoolKyeongmin Cho is a compiler engineer with a decade of software experience, currently optimizing neural processing workloads at Rebellions. He holds a Ph.D. in Computer Science from KAIST, where his research advanced formal abstractions and systematic programming principles for persistent memory to improve reliability and performance. Earlier roles include web application development and software training, giving him practical full-stack experience that complements his deep systems research. Based in Seongnam-si, South Korea, he blends academic rigor with production-focused engineering to bridge compiler design and emerging NPU architectures. His GitHub handle playfully references the fixed-point combinator, hinting at a functional-programming curiosity that informs his low-level, correctness-minded approach.
10 years of coding experience
1 year of employment as a software developer
Bachelor of Engineering; Bachelor of Arts, Computer Science & Engineering; Philosophy (double major), Bachelor of Engineering; Bachelor of Arts, Computer Science & Engineering; Philosophy (double major) at 인하대학교Doctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at Korea Advanced Institute of Science and Technology
Korean, English, Japanese
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (58)
javascript10
osjs10
typescript10
telegram10
cloud-platform10
telegram-bot10
nodejs10
angular10
messenger9
telegram-client9
integrate9
monitoring9
networking9
desktop9
django-project9
Programming languages (13)
Github contributions (5)
samikshro/software-foundations-solution
Apr 2019 - Jan 2020
Studying Coq with the Software Foundations series 📕📗📘📙
Contributions:118 commits in 9 months
studyingcoqfoundations
kyeongmincho/dotfiles
Feb 2020 - Sep 2024
Contributions:43 pushes, 2 branches in 4 years 7 months
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.