Scholar
Aaditya Naik
Google Scholar ID: EfE0jh4AAAAJ
University of Pennsylvania
Citations & Impact
Citations
401
H-index
8
i10-index
7
Publications
16
Co-authors
0
Publications
Resume (English only)
Academic Achievements
- Published multiple papers including ICML 2025, OOPSLA 2024, ICLR 2022, and IEEE Transactions on Software Engineering. Recipient of the Google PhD Fellowship in Programming Technology and Software Engineering (since 2023).
Research Experience
- Worked with the RiSE team at Microsoft Research to develop a test-driven interactive code generation framework; Investigated and improved the capabilities of LLMs for solving constraint-optimization tasks at Oracle.
Education
- Ph.D. in Computer and Information Science, University of Pennsylvania, Advisor: Prof. Mayur Naik
Background
- Ph.D. student at the University of Pennsylvania, advised by Prof. Mayur Naik. Research focuses on neurosymbolic programming, aiming to enable foundation models to reason in a reliable and trustworthy manner, with applications in software development in the age of AI.
Co-authors