Hey! I'm Nikhil Pimpalkhare. I am currently a research scientist at Basis. I previously completed my Ph.D. at Princeton University advised by Zachary Kincaid and graduated from U.C. Berkeley with a B.S. in EECS.

I am currently interested in program analysis and automated reasoning, and how they may impact AI. Outside of computer science, I enjoy running, playing the piano, and chess.

Here is my CV and Google Scholar. You can reach me at nikhil.pimpalkhare at princeton.edu.