Ashwin Abraham
Core Engineer at Quantbox Research
Bengaluru, Karnataka, India
Summary
👤
Senior🎓
Top SchoolAshwin 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
1 year of employment as a software developer
Matriculation, 93%, Matriculation, 93% at Maharishi Vidya Mandir Senior Secondary SchoolDAV Schools NetworkIndian Institute of Technology BombayHigh School Diploma, Science, 97%, High School Diploma, Science, 97% at Narayana Institute
English, Hindi, Tamil, Malayalam
Github Skills (8)
classify3
nodejs2
javascript2
conversation2
communications2
deep-learning1
tensorflow1
web-components1
Programming languages (1)
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.