I am Aditya Chaudhari (आदित्य चौधरी in Marathi), an incoming PhD
student in Computer Science at
University of California, Riverside, working under the guidance of
Jay P. Lim. I obtained my B.S. in Computer Science from
Michigan State University.
Research Interests. I am interested in questions about correctness -- about whether the systems people rely on every day actually do what they are supposed to do. Software is full of compromises that made sense at the time and then quietly became the norm. I find those gaps interesting. My current interests are in correctness at the intersection of formal methods, ML/NN, and compilers.
News
- September 2026 Starting a PhD position at the University of California, Riverside.