Missing Image

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.


Our paper on online SMT solver selection was accepted for publication at at SAT '21
My report on MedleySolver was accepted as part of the ASE '20 student research competition

Conference Papers

Workshop & Short Papers

Site template courtesy of Federico Mora