Ekanshdeep Gupta
Jersey City, New Jersey, United States
Summary
🤩
Rockstar🎓
Top SchoolEkanshdeep Gupta is a Computer Science PhD candidate at NYU's Courant Institute with a decade of industry experience bridging formal methods research and cloud-scale product work. He has worked at Amazon Web Services as an Applied Scientist and intern, notably improving stability in the Dafny verification tool—a sign of his expertise in program verification and tooling for reliable software. Trained in mathematics and computer science at Chennai Mathematical Institute, he combines rigorous theoretical foundations with practical engineering to make verification features resilient in production-like environments. Based in Jersey City, he brings a research-driven yet product-aware perspective that helps turn complex correctness problems into deployable solutions.
10 years of coding experience
Doctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at New York UniversityBachelor of Science - BS, Mathematics and Computer Science, Bachelor of Science - BS, Mathematics and Computer Science at Chennai Mathematical Institute
French
Stackoverflow
182reputation
2kreached
0answers
7questions
Github Skills (144)
programming-language10
python10
algorithm10
verification10
dafny10
data-structures10
sorting-algorithms10
fdroid9
kotlin9
rxjava9
java9
mvvm9
compiler8
css-properties8
facebook-page8
Programming languages (12)
Github contributions (5)
EkanshdeepGupta/hello-world
Jan 2016 - Apr 2019
Contributions:2 PRs, 5 pushes, 3 branches in 3 years 3 months
javapython
EkanshdeepGupta/mini-ool-interpreter
Oct 2020 - Mar 2022
Compiler for a toy language in my Programming Languages course - MiniOO
Contributions:6 PRs, 35 pushes, 9 branches in 1 year 5 months
toy-languagebrainfucktoyprogramming-languagescompiler
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.