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
Let us labor to add all needful guarantees for the more perfect security of free thought, free speech, and free press, pure morals, unfettered religious sentiments, and of equal rights and privileges to all men, irrespective of nationality, color, or religion.
— Ulysses S Grant