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)