Missing Image

Hello! My name is Nikhil Pimpalkhare. I am a current Master's student at Princeton University studying computer science. I previously graduated from the University of California, Berkeley with a B.S. in Electrical Engineering and Computer Science.

My current primary academic interests lie in probability theory, formal methods, and programming languages. Outside of computer science, I am interested in Model United Nations, CS education, 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