Registered user since Thu 2 Oct 2025
Bhargav Kulkarni (भार्गव / ಭಾರ್ಗವ್) is a PhD student in Computer Science at the University of Utah, where he has been studying since 2023 under Prof. Pavel Panchekha. His research focuses on improving the correctness and robustness of software, with current work centered on sound attribution of floating-point error in numerical programs. He is also a contributor to the Herbie project, which aims to automatically improve the numerical accuracy of floating-point expressions.
Prior to beginning his PhD, Bhargav earned a bachelor’s degree in Computer Science from the Birla Institute of Technology and Sciences (BITS). During his undergraduate studies, he worked with Prof. Anup Basil Mathew on adapting the Rocq interactive theorem prover for use in educational settings.
Contributions