Mayur Naik

Mayur Naik

Computer and Information Science (CIS)


Honors and Awards:  NSF CAREER Award - 2013, Microsoft Software Engineering Innovation Foundation (SEIF) Award - 2012, Google Faculty Research Award - 2011, Microsoft Research Graduate Fellowship - 2004-2005

Research Expertise: Programming Languages | Formal Methods | Software Engineering

Mayur's research spans the areas of programming languages and software engineering. He investigates automated reasoning techniques for improving the effectiveness of programmers and software on conventional as well as emerging architectures. These techniques encompass the areas of program analysis, machine learning, and constraint solving. Previously, he was a researcher at Intel Labs, Berkeley (2008-2011) and on the faculty at Georgia Tech (2011-2016).

PhD - Computer Science - Stanford University (2008)

Recent Publications RSS Feed

Publications are currently not available.

Return to Directory