Bhargav Kulkarni

Hi, I am Bhargav Kulkarni, a Ph.D. student at the University of Utah. I am currently working with Prof. Pavel Panchekha at the University of Utah on generating English explanations for floating point expressions. In the past I worked on adapting the Coq interactive theorem prover to educational settings at BITS Pilani, with Prof. Anup Basil Mathew. I am interested in everything computers, with a particular interest in programming languages.

Once you learn to read, you will be forever free.

— Frederick Douglass

Online Presence

Stay connected with me: