Vaibhav Karve
Somerville, Massachusetts, United States
Summary
🤩
Rockstar🎓
Top SchoolVaibhav Karve is a Senior Data Scientist at SimSpace Corp with a PhD in Mathematics from the University of Illinois at Urbana-Champaign and roughly a decade of experience applying advanced math and programming to real-world problems. He specializes in computational mathematics and combinatorics, translating theoretical tools into practical solutions for cybersecurity and threat modeling. Based in Somerville, MA, he blends rigorous academic training with hands-on data science to tackle complex, adversarial domains. Notably, his background enables him to design statistically grounded algorithms and simulation environments where subtle mathematical structure matters for security outcomes.
10 years of coding experience
Kendriya Vidyalaya SangathanIntegrated BS - MS, Integrated BS - MS at Indian Institute of Science Education & Research (IISER), KolkataUniversity of Illinois Urbana-Champaign
Stackoverflow
45reputation
1kreached
0answers
2questions
Github Skills (89)
calculation10
autoencoder9
satisfiability9
rewriting9
social-network-analysis9
qt8
python8
gtk8
outliers8
unsupervised-learning8
dependency-graph8
directed-acyclic-graph8
reduction8
random-walk8
graph-algorithms7
Programming languages (6)
Github contributions (5)
vaibhavskarve/traffic-study
May 2016 - Oct 2017
Contributions:13 PRs, 83 pushes, 15 branches in 1 year 4 months
studyingproject-workmathematicspartnerdepartment
vaibhavkarve/graphsat
Aug 2019 - Sep 2022
A python package that recognizes clauses, Cnfs, graphs, hypergraphs, and multi-hypergraphs. The package implements local graph-rewriting, graph-satchecking, calculation of graph disjunctions, as well as checking of new reduction rules.
Contributions:1 release, 241 commits, 6 PRs in 3 years 1 month
pythonsatisfiabilitydependency-graphmulti-hypergraphsreduction
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.