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
Jan 11, 2025 | TensorRight received a Distinguished Paper Award at POPL 2025! |
---|---|
Nov 08, 2024 | Our paper titled TensorRight: Automated Verification of Tensor Graph Rewrites has been accepted at POPL 2025! The preprint can be found here. The extended version would be available soon. |
Jul 27, 2024 | Website goes live! |
Aug 21, 2023 | Joined the ADAPT Lab! |