Mayur Naik

Misra Family Professor

Computer and Information Science

Office: Amy Gutmann Hall, 613

Research Areas

  • Programming Languages
  • Artificial Intelligence

Awards

2023: Test of Time Award, Foundations of SW Engineering

2019: Distinguished Paper Award, PLDI

2016: Outstanding Junior Faculty Research Award, Georgia Tech

2015: Lockheed-Martin Teaching Excellence Award, Georgia Tech

2015: Distinguished Paper Award, ACM SIGSOFT

2015: Distinguished Paper Award, Symposium on the Foundations of Software Engineering

2014: Distinguished Paper Award, ACM SIGPLAN

2013: NSF CAREER Award

Projects/Papers

Dolphin: A Programmable Framework for Scalable Neurosymbolic Learning
Inferring Natural Preconditions via Program Transformation
LLM-Assisted Static Analysis for Detecting Security Vulnerabilities

Students

PhDs:

Jiani Huang

Jie Min

Ziyang Li

Aaditya Naik

Sagnik Anupam

Adam Stein (co-advised with Eric Wong)

Paul Biberstein (co-advised with Joe Devietti)

Mayank Keoliya (co-advised with Rajeev Alur)

Avishree Khare

Neelay Velingker