Bio

An acclaimed and highly-regarded software engineer, Mayur Naik has been an assistant professor for the School of Computer Science at the Georgia Institute of Technology since 2011. His area of expertise lies in programming languages and software engineering, with an emphasis on program analysis techniques and systems for improving software quality and programmer productivity, especially on modern computing platforms such as parallel, mobile, and cloud computing. He has contributed to the foundations of diverse program analysis techniques including type-based analysis, dataflow analysis, model checking, dynamic analysis, and their combinations. He has developed systems based on these techniques to aid in software testing, debugging, optimization, and verification that are widely used in academia and industry. He is a recipient of a PLDI Distinguished Paper Award (2014), a National Science Foundation CAREER award (2013), a Google Faculty Research Award (2011), and two ACM SIGSOFT Distinguished Paper Awards (FSE 2015 and ICSE 2009). He holds a doctorate in computer science from Stanford University.