Ashwin Abraham
Summary
👤
SeniorAshwin Abraham is a Core Engineer at Quantbox Research with a strong theoretical CS foundation from IIT Bombay, where he graduated top of his class and earned the Institute Academic Prize. He combines deep expertise in formal verification, differential privacy, and compiler-based program analysis—demonstrated by research internships at Uppsala University and IST Austria where he implemented LLVM- and Java-based verification algorithms and achieved algorithmic speedups >2000x. Comfortable across C++, Java, and optimization toolchains like Gurobi, Ashwin pairs rigorous mathematics (martingale theory, parametrized verification) with production-quality implementation, having written thousands of lines of research-grade code. He has a decade of broader engineering and mentorship experience, including TA and student-mentorship roles guiding cohorts at IITB, and a track record of turning complex proofs into practical, efficient tools.
10 years of coding experience
Github Skills (8)
classify4
nodejs2
tensorflow2
javascript2
deep-learning2
conversation2
communications1
web-components1
Programming languages (2)
Github contributions (5)
tashes/small-talk
Dec 2017 - Jul 2021
Contributions:2 PRs, 5 pushes, 2 branches in 3 years 7 months
js-librarynode-jsjavascriptcommunicationsconversation
tashes/sananode
Sep 2018 - Oct 2018
Contributions:35 PRs, 32 pushes in 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.