Scholar
Mayur Naik
Google Scholar ID: fmsV6nEAAAAJ
Misra Family Professor of Computer Science, University of Pennsylvania
Citations & Impact
Citations
4,306
H-index
34
i10-index
57
Publications
20
Co-authors
113
list available
Publications
Resume (English only)
Academic Achievements
- Published multiple papers including a technical overview of Scallop's core language and semantics at PLDI 2023 and how to combine Scallop programs with foundation models such as GPT and SAM at AAAI 2024. Authored the book 'Neurosymbolic Programming In Scallop: Principles and Practice'.
Research Experience
- Current research interests include neurosymbolic programming, language design, learning algorithms, and compiler optimizations. The research group is developing the Scallop neurosymbolic programming language and compiler toolchain, with applications in computer vision, cybersecurity, medicine, and bioinformatics.
Education
- Ph.D. in Computer Science from Stanford University in 2008, advised by Alex Aiken; M.S. from Purdue University in 2003, advised by Jens Palsberg; B.S. from BITS Pilani in 1999.
Background
- Professor in the Department of Computer and Information Science at the University of Pennsylvania. Specializes in programming languages and artificial intelligence. Previously, a faculty member at Georgia Institute of Technology and a researcher at Intel Labs, Berkeley.
Miscellany
- Spent many idyllic years in the beautiful state of Goa, India.
