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. Currently, I am working on verifying Tensor Compiler Optimizations. Please feel free to reach out to me if you would like to collaborate on similar areas.

Before joining UIUC, I graduated with an Integrated Bachelors and Masters in Computer Science and Engineering, from IIT Delhi in 2023. At IIT Delhi, I was fortunate to be advised by Prof. Sorav Bansal.

In my free time, I like to cook, play video games, crochet, and read (sometimes). I am also very 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