Name:Bhargav Kulkarni

Bio:

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.

Country:United States

Affiliation:School of Computing, University of Utah

Research interests:Programming Languages, Formal Methods, Compilers