Office: Room 303, Levine Hall
Address: 3330 Walnut St, Philadelphia, PA 19104
Email: mhnaik@cis.upenn.edu
Phone: 215-573-1856

I am looking for new PhD students to work with on topics related to program synthesis, machine learning, and formal methods.
Lecture videos from my Udacity course on Software Analysis and Testing are now publicly available.

About Me

My research spans all aspects of programming systems with the goal of improving software quality and programmer productivity. I am especially interested in advanced programming systems that effectively combine the power of humans, computers, and data.

I obtained my Ph.D. in Computer Science from Stanford University in 2008, followed by a stint at Intel Research in Berkeley (2008-2011). After that, I spent five wonderful years in Atlanta on the faculty of the College of Computing at Georgia Tech. I joined Penn in the Fall of 2016, where I am a part of the PL Club and the PRECISE Center.

Recent News

More news ...

Research (also see papers and software)

I am currently involved in the following projects:

  • Petablox: declarative program analysis for Big Code
  • Nichrome: solver for mixed hard and soft constraints
  • CirrusCloud: a mobile-cloud computing platform

I have also contributed to the following projects:

  • Prism: configurable program analysis
  • Dynodroid: automated testing of smartphone apps
  • Conchord: analysis of concurrent programs
  • Chord: a program analysis platform for Java
  • STAMP: static analysis of smartphone apps
  • CloneCloud: cloud offloading for smartphone apps
  • CalFuzzer: testing of concurrent programs
  • CBI: the Cooperative Bug Isolation project
  • SLAM: software model checking

Awards (also see my students' awards)

  • Distinguished Paper Award, FSE 2015
  • Lockheed-Martin Dean's Award for Excellence in Teaching, 2015
  • Distinguished Paper Award, PLDI 2014
  • NSF CAREER Award, 2013
  • Microsoft Software Engineering Innovation Foundation Award, 2012
  • Google Faculty Research Award, 2011
  • Distinguished Paper Award, ICSE 2009
  • Microsoft Research Graduate Fellowship, 2004-05