I am 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 Rocq interactive theorem prover in an educational environment.
The fastest way to reach out to me is via my e-mail: bhargavkishork@gmail.com I am also active on these sites but I may not answer as quickly:
Once you learn to read, you will be forever free.
— Frederick Douglass