Youngju Song
Applied Scientist at Amazon
Austin, Texas, United States
Summary
👤
Senior🎓
Top SchoolYoungju Song is an applied scientist with 11 years of experience specializing in formal verification and programming languages, currently working on hardware formal verification for AI chips at Amazon's Annapurna Labs using tools like z3, Lean, Python, and Rust. He holds a PhD in Computer Science from Seoul National University and has a strong research background including postdoctoral roles at Max Planck Institute for Software Systems and Seoul National University. Known as a "Coq Addict" on GitHub, he blends deep theorem-proving expertise with practical engineering to bridge formal methods and chip design. His career uniquely spans academia and industry, applying rigorous proofs to real-world hardware verification problems in high-performance AI systems.
11 years of coding experience
3 years of employment as a software developer
Doctor of Philosophy - PhD, Computer Science (Programming Language), Doctor of Philosophy - PhD, Computer Science (Programming Language) at 서울대학교 (Seoul National University)High School Diploma, High School Diploma at Korea Science Academy of KAISTBachelor's degree, Mathematics, Computer Science, Bachelor's degree, Mathematics, Computer Science at Korea Advanced Institute of Science and Technology
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (86)
coq10
c-compiler10
csharp10
compilation10
dotnet9
roslyn9
byte9
compcert9
visual-studio9
code-analysis9
compiler8
emacs8
company-mode8
recursive8
lint8
Programming languages (9)
Github contributions (5)
snu-sf/crellvm
Dec 2015 - Jun 2018
Contributions:713 commits, 1 push, 1 branch in 2 years 6 months
compilationverifiedllvm
snu-sf/CompCertR
Mar 2018 - Dec 2021
Contributions:41 commits, 9 PRs, 9 pushes in 3 years 9 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.