Jai Arora

I am a second-year Ph.D. student in the Department of Computer Science at the University of Illinois at Urbana Champaign (UIUC). I am fortunate to be advised by Prof. Charith Mendis.

I am broadly interested in Compilers, Formal Methods, and Programming Languages. I am currently working on verification of tensor compiler optimizations. Please feel free to reach out if you would like to collaborate on related topics.

Before joining UIUC, I completed an Integrated Bachelor’s and Master’s in Computer Science and Engineering from IIT Delhi in 2023. During my time there, I was fortunate to be advised by Prof. Sorav Bansal for my thesis, titled Inequivalence Checking across C Programs.

In my free time, I enjoy cooking, playing video games, reading, and trying my hand at crochet. I am also particularly fond of theorem proving in Coq.

Where to find me: Room 4111, Siebel Center for Computer Science
201 N. Goodwin Ave., Urbana IL 61801
Email: jaia3 (at) illinois.edu

News

Nov 08, 2024	Our paper titled TensorRight: Automated Verification of Tensor Graph Rewrites has been accepted at POPL 2025! The preprint is here. The extended version would be available soon.
Jul 27, 2024	Website goes live!
Aug 21, 2023	Joined the ADAPT Lab!