Subodh Sharma
Founder Cerify.ai
Delhi, India
Summary
👤
Senior🎓
Top SchoolSubodh Sharma is a founder and researcher with 12 years of experience specializing in formal verification, program analysis, concurrency, security, and privacy, currently leading Cerify.ai to make software—especially smart contracts—more trustworthy. He is an Associate Professor at IIT Delhi with a track record of translating deep research in symbolic model checking and concurrency (work done at Oxford) into practical assurance tools. His academic leadership includes serving as Associate Dean for outreach and new initiatives, reflecting a talent for bridging research, education, and industry impact. Subodh holds a PhD in Computer Science from the University of Utah and began his technical grounding as a computer engineering undergraduate in Mumbai. Known for focusing on reliability and adversarial robustness, he combines rigorous formal methods with an entrepreneur’s urgency to ship verifiable systems. Based in Delhi, he often operates at the intersection of academia and product development, bringing provable guarantees to real-world software.
12 years of coding experience
12 years of employment as a software developer
The University of UtahBachelor of Engineering Computer Engineering, Bachelor of Engineering Computer Engineering at University of Mumbai
English, Hindi
Github Skills (19)
hugo-theme10
page-builder10
netlify10
jupyter9
r9
hugo9
forestry9
open-science9
rstudio9
roamresearch9
rmarkdown9
cms8
blogdown8
data-science7
blog-engine7
Programming languages (3)
Github contributions (5)
subodhvsharma/mopper-spo
Dec 2013 - Jun 2016
Contributions:29 commits, 15 pushes in 2 years 6 months
subodhvsharma/subodhvsharma.github.io
Nov 2019 - Aug 2020
Contributions:51 pushes, 1 branch in 9 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.