Aaditya Naik
PhD Student
Computer and Information Science
University of Pennsylvania
Email: asnaik@seas.upenn.edu
C.V.

Welcome to my corner of the internet! I am a 5th year PhD student at the University of Pennsylvania advised by Prof. Mayur Naik.

My research interests span Programming Languages and Machine Learning. The overarching goal of my research is to enable machine learning practitioners to write neurosymbolic programs that can scale to highly complex tasks and datasets using intuitive and expressive interfaces. My work focuses on combining symbolic reasoning with deep learning to address tasks requiring both perception and logic-based reasoning, while ensuring scalability through techniques like vectorized computations and GPU-accelerated differentiable reasoning.

I am also interested in developing techniques to help machine learning practitioners effectively understand where their models fail and identify ways to fix them. My other research interests include designing program synthesis techniques to streamline software analysis, bug finding, and code generation, as well as exploring compiler-based optimization strategies for large-scale machine learning frameworks in challenging domains such as image processing, text understanding, and multimodal reasoning.