Hi, I am Bhargav Kulkarni(भार्गव/ಭಾರ್ಗವ್)! 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. I am currently working on building a verified optimizer for the Skia graphics library used by Chrome. Previously I worked on sound attribution of floating point error in floating point programs.
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
Recent Posts [rss]
| New Look! | |
| Website Extras | |
| My Website |