I am a PhD student advised by Prof. Pavel Panchekha and interested in PL and formal methods.
Education
 University of Utah

PhD in Computer Science, 2023
Advisor: Pavel Panchekha
CGPA: 3.9/4.0
Courses: PL, architecture, algorithms, verification, distributed systems  Birla Institute of Technology and Science, Pilani

B.Eng. in Computer Science, 20192023
CGPA: 8.9/10.0; Merit scholarship holder
Research Positions
 NASA Langley Formal Methods

Research Intern, 2024
Working on generating PVS proof certificates for Herbie’s accuracy aware optimizations  The Herbie Project
[source]

Researcher and Contributer, 2023
Working on sound attribution of floating point errors  HCFC Lab @ BITS Pilani, Goa

Undergraduate Researcher, 2022
Developed a portable Indian Sign Language translator
Used beam search and, Hidden Markov Models, conducted user study  Automatons

Undergraduate Researcher, 2022
Worked with Prof. SP Suresh and Prof. Anup Basil Mathew @ Chennai Mathematical Institute
Formalized basic DFA/NFA constructions in Coq/Rocq
Some initial work adapted into undergraduate Discrete Structures course
Teaching Positions
 University of Utah

Fall 2023: CS 3810 “Computer Organization”
 Birla Institute of Technology and Science, Pilani

Spring 2023: Operating Systems, Compiler Construction, Computer Networks
Fall 2022: Operating Systems Computer Architecture
Spring 2022: VLSI Design, Computer Programming
Fall 2022: Discrete Structures in Computer Science
Skills & Projects
General Programming: Python, Racket, Java,
JavaScript, SQL
Systems Programming: C/C++, Bash, Rust
Hardware: Verilog, MASM
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]