*********************************
There is now a CONTENT FREEZE for Mercury while we switch to a new platform. It began on Friday, March 10 at 6pm and will end on Wednesday, March 15 at noon. No new content can be created during this time, but all material in the system as of the beginning of the freeze will be migrated to the new platform, including users and groups. Functionally the new site is identical to the old one. webteam@gatech.edu
*********************************
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.
