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.


News

05/2021
Our paper on online SMT solver selection was accepted for publication at at SAT '21
07/2020
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