Bhargav Kulkarni

I’m a Ph.D. student advised by Prof. Pavel Panchekha at the University of Utah. I am interested in making it easy for devlopers to write correct and safe code.

• Email: bhargavkishork@gmail.com
• Github: wags-1314@github
• Website: wags-1314.github.io
• Phone Number: +1-810-292-4167

Research

Herbie Project (source)

• Working on finding and explaining errors in floating point programs

HCFC Lab @ BITS Pilani, Goa

• Developed a portable Indian Sign Language translator
• Explored using beam search and hidden Markov models, conducted user study

Automatons

• Worked with Prof. Anup Basil Mathew(BITS Pilani) and Prof. S P Suresh(Chennai Mathematical Institute)
• Formalised basic DFA/NFA constructions in Coq/Rocq
• Some initial work adapted into undergraduate Discrete Structures course

Education

Ph.D. in CS — University of Utah

• CGPA: 4.0/4.0; courses: PL, architecture, algorithms, verification
• TA for CS 3810: Computer Organization

B.E. in CSE — BITS Pilani, Goa

• CGPA: 8.9/10.0; Merit scholarship holder
• TA for: OS, compilers, networks, architecture, VLSI design, and more

Skills

General Programming: Python, Racket, Java, JavaScript, SQL

Systems Programming: C/C++, Bash, Rust

Hardware: Verilog, MASM

Projects

Trinity Game Engine: A game engine and byte code VM for scripting (source)

Logic in Coq: Classical propositional logic and natural deduction in Coq/Rocq (source)

CheemScheme: Scheme dialect in C++ with tail recursion and error reporting (source)