Koundinya Vajjha
Formal Verification Engineer
San Francisco, California, United States
Summary
🤩
Rockstar🎓
Top SchoolKoundinya Vajjha is a Formal Verification Engineer with a decade of quantitative and research experience, blending a PhD in Mathematics with hands-on theorem-prover work in Lean and Coq. He has formally verified algorithms across academia and industry—from optimal control and discrete geometry research to reinforcement-learning and trading-system verification at Imandra, and datapath arithmetic at Intel. Skilled in OCaml, Haskell, Python and Mathematica, he also brings practical quant experience validating VaR and AML models early in his career. Notably, his PhD thesis applied geometric optimal control to discrete geometry and earned competitive fellowships, reflecting a rare mix of deep theory and applied verification. Passionate about making AI and financial systems more robust, he focuses on pushing automated reasoning from proofs-on-paper to production-grade verification.
10 years of coding experience
3 years of employment as a software developer
Graduate Certificate in Public Policy, Public Policy Analysis, Graduate Certificate in Public Policy, Public Policy Analysis at The Takshashila InstitutionMaster of Science - MS, Mathematics, Master of Science - MS, Mathematics at Western UniversityDoctor of Philosophy - PhD, Mathematics, Doctor of Philosophy - PhD, Mathematics at University of PittsburghMaster of Science (M.Sc.), Mathematics, Master of Science (M.Sc.), Mathematics at Indian Statistical Institute, Kolkata
English, Telugu, Hindi
Stackoverflow
103reputation
427reached
0answers
1question
Github Skills (48)
ssreflect10
in-progress10
mathematics10
theory10
computer-algebra9
agda9
computer-algebra-system9
synthesis9
coq9
homotopy-type-theory9
category-theory9
theorem-proving9
mathematical8
machine-learning8
math8
Programming languages (10)
Github contributions (5)
kodyvajjha/haskell-project-euler
Aug 2016 - May 2023
Contributions:14 pushes, 1 branch in 6 years 10 months
jtristan/stump-learnable
Nov 2019 - Dec 2020
Contributions:10 commits, 12 pushes in 1 year 1 month
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.