Mayur Naik

Mayur Naik is the Misra Family Professor in the Department of Computer and Information Science at the University of Pennsylvania. His research specializes in programming languages and artificial intelligence, with current focus areas including neurosymbolic programming, trustworthy AI for healthcare, and AI-enhanced development tools. He leads the development of the Scallop neurosymbolic programming language and maintains active collaborations in bioinformatics and clinical research.

Education:
Ph.D. in Computer Science, Stanford University (2008)
M.S. in Computer Science, Purdue University (2003)
B.S. from BITS Pilani (1999)

Research Focus: His work bridges symbolic AI with neural approaches through neurosymbolic programming, enabling interpretable and domain-aware solutions. Current projects include Dolphin (scalable neurosymbolic learning), IRIS (LLM-assisted static analysis), and applications in computer vision and healthcare. Research emphasizes both theoretical foundations and practical system implementations.

Publication Trends (Recent Focus): Recent work demonstrates strong emphasis on neurosymbolic learning frameworks (55%), AI-enabled programming tools (30%), and healthcare applications (15%). Key technical threads include LLM integration with program analysis, GPU acceleration for symbolic reasoning, and weakly-supervised learning paradigms.

Awards & Honors:

• Test of Time Award, Foundations of SW Engineering (2023)
• Distinguished Paper Awards (PLDI 2019, SIGSOFT 2015, FSE 2015, SIGPLAN 2014)
• NSF CAREER Award (2013)
• Lockheed-Martin Teaching Excellence Award (2015)
• Outstanding Junior Faculty Award, Georgia Tech (2016)

Academic Leadership: Advises 8 PhD students with research spanning neurosymbolic systems, program analysis, and AI security. Teaches core courses CIS 5470 (Software Analysis) and CIS 5500 (Database Systems). Research supported by NSF and industry partnerships.

Labs & Teams: Leads the neurosymbolic programming research group at UPenn, collaborating with Intel Labs, Google AI, and healthcare institutions. Group develops open-source tools including Scallop compiler and LLM-assisted analysis frameworks.