Basis logotype

Nikhil Pimpalkhare

People

Nikhil Pimpalkhare

Research Scientist

Nikhil Pimpalkhare is a research scientist at Basis. He previously completed his PhD at Princeton University with Zachary Kincaid, where he developed robust inter-procedural program analysis techniques which provide formal guarantees about how changes to a program may change the resulting analysis. His research interests are in program analysis and formal verification.

Website Email

Education

  • PhD, Computer Science
    Princeton University
  • BS, Electrical Engineering and Computer Science
    University of California, Berkeley

About

I am a research scientist at Basis, where I work on building systems that formally reason about the behavior of software. I completed my PhD at Princeton University with Zachary Kincaid. There, I developed program analysis techniques which automatically compute properties of programs from their source code. In particular, we focused on robust analysis techniques, in which the properties computed for related programs are analogously related. I am broadly interested in program analysis, formal verification, and automated reasoning.

Select Publications