I am Bhargav Kulkarni, a PhD student at the University of Utah since 2023. I am advised by Pavel Panchekha.

My goal is to make it easier for developers to write more correct and more robust code. To that end I have been currently working on sound attribution of floating point error in floating point programs. I am also currently contributing to the Herbie project.

Before joining the PhD program at the U, I got my bachelor’s in Computer Science from the Birla Institute of Technology and Sciences. There I worked with Prof. Anup Basil Mathew on adapting the Coq interactive theorem prover in an educational environment.

You can find ways to contact me here.

Once you learn to read, you will be forever free.
— Frederick Douglass

Latest Blogpost - September 9, 2024 - More Blogposts

Floating-Point and Rounding Error

Floating-point numbers are how we squeeze the infinite world of real numbers into a finite space on our computers. As programmers, we use them all the time to mimic real-world calculations, often without really thinking about the consequences of approximating infinite numbers with finite ones. This can lead to some pretty funny and unexpected situations.