Vivek Khimani
Software Engineer at Semgrep
San Francisco, California, United States
Summary
🤩
Rockstar🎓
Top SchoolVivek Khimani is a software engineer with seven years of experience, currently building developer tools at Semgrep in San Francisco where he has worked across Semgrep Code and the Semgrep Assistant. He brings practical product experience from internships at Meta (Ads ML Infrastructure) and SIG, and an engineering background shaped by studies at Drexel and a research exchange at HKUST. Vivek focuses on code-centric tooling and static analysis, combining backend engineering with a sensitivity for developer workflows. Colleagues describe him as a hands-on coder who moves quickly from prototyping to shipping, often contributing to core product features rather than just peripheral tasks.
7 years of coding experience
1 year of employment as a software developer
Pre-Collegiate, Knot Theory, Pre-Collegiate, Knot Theory at Stanford UniversityBachelor of Science - Honors Computer Science, (Mathematics, Computer Networks, Data Science), Senior, Bachelor of Science - Honors Computer Science, (Mathematics, Computer Networks, Data Science), Senior at Drexel UniversityHong Kong University of Science and Technology (HKUST)
Gujarati, Hindi, English
Stackoverflow
75reputation
10kreached
9answers
2questions
Github Skills (105)
python10
semgrep10
ruby10
security10
linter10
program-analysis10
javascript10
static-analysis10
job-queue10
rapid-prototyping10
security-scanner10
typescript10
java10
go10
sast10
Programming languages (12)
Github contributions (5)
vivekkhimani/semgrep
Apr 2022 - Feb 2024
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
Contributions:1 PR, 24 pushes, 6 branches in 1 year 10 months
looklinterpythonstatic-code-analysislanguages
vivekkhimani/LifeNest
Apr 2021 - Mar 2022
Django-based web/alerting interface for connecting COVID-19 resource requestors to the resource suppliers.
Contributions:53 commits, 4 PRs, 5 pushes in 10 months
bootstrap5jinja2pythondtldjango-framework
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.