Ankush Desai
Principal Research Scientist at Snowflake
San Jose, California, United States
Summary
👤
Senior🎓
Top SchoolAnkush Desai is a Principal Research Scientist specializing in applying formal methods, fuzzing, and systematic testing to make Data and AI systems reliable and trustworthy. With a PhD from UC Berkeley and nine years of industry experience at AWS and Snowflake, he has led teams that built production-grade tools for model checking, scalable fuzzing, property-based testing, and runtime monitoring of distributed systems. He created and continues to lead the P programming framework, translating academic verification techniques into developer-facing tooling that improves correctness across design, testing, and production. Prior work includes driving Amazon S3’s Strong Consistency project and early research at Microsoft Research and SRI, showing a consistent focus on eliminating critical distributed-systems bugs. Based in San Jose, he combines deep research pedigree with hands-on engineering and a hobbyist interest in hardware, evidenced earlier by leading the onboard-computers team for India’s first nanosatellite, Jugnu.
9 years of coding experience
12 years of employment as a software developer
Doctor of Philosophy - PhD Computer Science, Doctor of Philosophy - PhD Computer Science at UC Berkeley Electrical Engineering & Computer Sciences (EECS)Indian Institute of Technology Kanpur
English
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (21)
zap10
security-scanner9
security9
maven-plugin9
jenkins-plugin9
gradle-plugin9
owasp8
zaproxy8
software-composition-analysis8
sarif8
composition7
vulnerability-detection7
ant-task7
sca7
vulnerabilities6
Programming languages (3)
Github contributions (5)
OWASP/www-chapter-cuttack
Jan 2020 - Feb 2022
OWASP Foundation Web Respository
Contributions:3 PRs, 58 pushes, 1 comment in 2 years 1 month
web-foundationsecurityowaspfoundationrespository
a6k8s4/duckyscriots
Feb 2017 - Feb 2019
Contributions:2 pushes, 1 branch in 1 year 11 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.