Varun Gandhi
Software Engineer at Databricks
Taipei, Netherlands
Summary
🤩
Rockstar🎓
Top SchoolVarun Gandhi is a software engineer with ~4 years of compiler and developer-tooling experience, currently working at Databricks after roles at Sourcegraph and Apple. He specializes in programming languages, developer productivity, and infrastructure, with hands-on work on the Swift compiler including Swift Concurrency tail-call support and arm64e pointer-authentication ABI pieces that improved platform security. At Sourcegraph he built precise, compiler-accurate indexers (notably C/C++ via Clang and Ruby via Sorbet), redesigned storage schemas for code navigation data, and helped shape the SCIP index format. He is passionate about improving the open-source contribution experience and has led onboarding, university outreach, and internal enablement efforts. Beyond production systems, he explores lightweight verification techniques like property-based testing and model checking, reflecting a blend of practical shipping and interest in formal rigor. Based in Taipei and educated at IIT Bombay and Cornell, he combines physics-trained analytical thinking with product-aware engineering.
4 years of coding experience
6 years of employment as a software developer
Indian Institute of Technology BombayMaster of Science - MS Physics, Master of Science - MS Physics at Cornell University
Github Skills (200)
programming-language10
sorbet10
pnpm10
sourcegraph10
health-check10
interpreter10
code-generation10
extensible10
code-search10
sublime-text10
api10
ai10
intellij-plugin10
golang10
code-interpreter10
Programming languages (22)
Github contributions (5)
sourcegraph/scip-clang
Oct 2022 - Feb 2023
Contributions:140 reviews, 59 commits, 609 PRs in 3 months
sourcegraph/scip
May 2022 - Oct 2022
SCIP Code Intelligence Protocol
Contributions:9 releases, 145 reviews, 45 commits in 4 months
cryptographyscipethereumblockchainintelligence
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.