Minhyuk Kwon
수석 연구원 at 슈어소프트테크 Suresofttech
Seoul, South Korea
Summary
👤
Senior🎓
Top SchoolMinhyuk Kwon is a senior research engineer based in Seoul with 13 years of experience building tooling for software quality, static analysis, and automated test generation. At Suresofttech he architected and developed large-scale static analysis platforms, concolic test-data generators, and specialized inspectors for embedded and PLC systems, and now leads efforts in small language models, AI V&V, and autonomous agents. His background in programming languages, mathematical logic, and abstract interpretation informs a pragmatic approach to turning formal techniques into marketable products. He has a master’s in program analysis/verification and a track record of shipping both enterprise-grade developer tools and experimental consumer apps. Minhyuk’s uncommon combination of deep theory and product-mindedness helps him spot future-ready technologies and prepare them for real-world adoption. Colleagues describe him as someone who enjoys making “boring” formal methods quietly indispensable in shipping reliable software.
13 years of coding experience
BS, 컴퓨터 과학, BS, 컴퓨터 과학 at 동양대학교Master's degree, 프로그램 분석/검증, Master's degree, 프로그램 분석/검증 at 한국기술교육대학교
English
Stackoverflow
1reputation
0reached
1answer
0questions
Github Skills (66)
sdk10
xml10
xcp9
redis-client9
ai9
defaults9
can-bus9
compilation-database9
c119
compilation9
networking9
llm9
poco9
openai9
logging9
Programming languages (7)
Github contributions (5)
minhyuk/Bear
May 2015 - Jun 2024
Build EAR
Contributions:2 PRs, 5 pushes, 2 branches in 9 years 2 months
ear
minhyuk/MiniFramework
Mar 2013 - Dec 2016
Proof of concept for Convey pattern for small software design & usable libraries adapt for Convey pattern
Contributions:7 commits, 20 PRs, 9 pushes in 3 years 10 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.