Ankit Kumar
Applied Scientist at Amazon Web Services (AWS)
Boston, Massachusetts, United States
Summary
👤
Senior🎓
Top SchoolAnkit Kumar is an applied scientist with 14 years of experience blending formal verification, distributed systems, and security to turn rigorous research into production-grade tooling. Currently at AWS after a PhD at Northeastern, he has uncovered real-world protocol vulnerabilities, built automated testing frameworks, and pioneered agentic AI techniques to auto-generate correct Rust from Java while reducing implementation effort by ~80%. His background spans fintech and mobile engineering to research internships at Rivos and Amazon, giving him rare end-to-end fluency from theory to deployed systems. Known for eliminating LLM hallucinations via dataflow analysis, he excels at delivering provable guarantees for complex, safety- and correctness-critical software.
14 years of coding experience
5 years of employment as a software developer
S.E, 2006, S.E, 2006 at XII Board Delhi Public School, DhanbadIndian Institute of Technology KanpurDoctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at Northeastern UniversityScience, Science at X Board Delhi Public School, DhanbadBachelor’s Degree, Electrical Engineering, Bachelor’s Degree, Electrical Engineering at Indian Institute of Technology (Banaras Hindu University), Varanasi
English, Hindi
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (37)
rewriting10
common-lisp10
logic10
formal-methods9
coq9
formal-verification9
sat-solver9
theorem-proving9
first-order-logic9
proof-assistant8
bytecode7
optimization7
soot6
java6
opam6
Programming languages (9)
Github contributions (5)
ankitku/A2C
Jul 2021 - Nov 2022
Contributions:51 commits, 49 pushes, 3 branches in 1 year 4 months
ankitku/dotfiles
Jan 2016 - Oct 2023
Contributions:8 pushes in 7 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.