Our paper on a verified optimizer for Skia has been (conditionally) accepted to OOPSLA’26! Read more about it in this blog post
Once you learn to read, you will be forever free.
– Frederick Douglass
Hi, I am Bhargav Kulkarni (bhārgav/भार्गव/ಭಾರ್ಗವ್)! 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.
I am currently interning at Adobe, and have interned at the NASA Langley Formal Methods Group in the past.
I am part of the vibrant PLUtah community.
I list all my publications and my CV on this site.
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:
This website hosts my (infrequently updated) blog. Give it a read!