Anurag Dhyani
Senior Engineer at Qualcomm
Delhi, India
Summary
👤
Senior🎓
Top SchoolAnurag Dhyani is a Senior Engineer with seven years of experience building production-grade software across EDA, cloud services, and AI-driven startups. Currently at Qualcomm after contributing to Synopsys’ Formality ECO tool, he combines formal verification and synthesis expertise with practical systems engineering. His background includes designing scalable Java/Spring microservices at Amazon and deploying ML-powered image stitching and classification pipelines on AWS for drone imagery. He mentors students in machine learning and has a knack for shipping tooling that bridges research ideas and reliable production systems. Based in Delhi, he pairs deep technical rigor with hands-on implementation, from low-level verification workflows to end-to-end cloud deployments. Colleagues note his ability to translate complex verification constraints into efficient, automatable solutions.
7 years of coding experience
3 years of employment as a software developer
Computer Science, Computer Science at Netaji Subhas Institute of Technology
Github Skills (50)
python10
algorithm9
data-structures9
fuzzy-matching8
sorting-algorithms8
entity-resolution8
analytics-engineering8
entity7
identity7
data-matching7
data-transformation7
cancer-detection6
record-linkage6
medical5
medical-application5
Programming languages (8)
Github contributions (5)
Dhyani01/mywebsite
Nov 2019 - Sep 2021
Anurag Dhyani's website
Contributions:10 PRs, 46 pushes, 1 branch in 1 year 10 months
reactnextjs
Dhyani01/Images-and-video-downloader
Jun 2019 - Jan 2020
Contributions:5 commits, 4 pushes, 1 branch in 7 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.