Associate Professor Computer and Information Science (CIS)
Mayur Naik is an Associate Professor of Computer and Information Science at the University of Pennsylvania. He received a Ph.D. in Computer Science from Stanford University in 2008, where his advisor was Alex Aiken, and an M.S. from Purdue University in 2003, where his advisor was Jens Palsberg. He was a researcher at Intel Labs, Berkeley from 2008 to 2011, and an Assistant Professor of Computer Science at Georgia Tech from 2011 to 2016. His research spans programming languages related topics with the overarching goal of making software better, safer, and easier to build and maintain. His current focus concerns developing scalable techniques to reason about programs by combining machine learning and formal methods. He is also interested in foundations and applications of neuro-symbolic approaches that synergistically combine deep learning and symbolic reasoning.