Arjya Das

I’m a Ph.D. student in Computer Science at UC Davis, advised by Dr. Aditya V. Thakur. I work at the intersection of Formal Methods, Machine Learning for Systems, and High-Performance Computing. I use program analysis, compiler techniques, and machine learning to make scientific software faster and its numerical behavior more trustworthy.

Before UC Davis, I earned an M.Tech. in Computer Science and Engineering from the Indian Institute of Science (IISc), Bengaluru, advised by Dr. Deepak D’Souza, and a B.E. in Information Technology from Jadavpur University, Kolkata.

Research Interests: Formal Methods, Machine Learning (Generative AI) for Systems and Software Engineering, High-Performance Computing and Compiler Optimizations