Hey! I'm Nikhil Pimpalkhare. I am currently pursuiting my Ph.D. in computer science at Princeton University, where I am advised by Zachary Kincaid. I previously graduated from U.C. Berkeley with a B.S. in EECS.

I am currently interested in program analysis and formal methods. 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.