Seonmo Kim
Formal Verification Engineer
San Jose, California, United States
Summary
👤
Senior🎓
Top SchoolSeonmo Kim is a Formal Verification Engineer based in San Jose with nine years of experience applying program analysis and security research to real-world systems. With a PhD in Computer Science from the University of Minnesota, he has blended academic depth—developing quantitative information flow measurement and symbolic-execution-based firmware heap analysis—with industry practice at Intel, working on verification and low-level software for autonomous-driving math libraries and CPU test generation. His background includes formal verification of safety-critical avionics algorithms and hands-on reverse-engineering techniques to identify heap management libraries in firmware, highlighting an unusual mix of theorem-driven methods and practical binary analysis. A former instructor and Air Force mechanic, he brings clear technical communication and disciplined systems troubleshooting to complex verification challenges.
9 years of coding experience
8 years of employment as a software developer
Bachelor's degree, Computer Science, Bachelor's degree, Computer Science at Konkuk UniversityUniversity of Minnesota Twin Cities
Github Skills (22)
vine9
noise6
solver6
symbolic-execution5
cnf4
cryptanalysis4
verification4
universal-hashing4
sat-solver4
derivative4
z33
cryptography3
coq3
theorem-proving3
smt3
Programming languages (2)
Github contributions (5)
seonmokim/fuzzball
Mar 2017 - Oct 2021
FuzzBALL: Vine-based Binary Symbolic Execution
Contributions:2 PRs, 34 pushes, 12 branches in 4 years 7 months
symbolic-executionvinefuzzballexecutionsymbolic
seonmokim/SearchMC
Sep 2016 - Dec 2021
Contributions:66 commits, 51 pushes, 1 branch in 5 years 3 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.