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

Recent News

  • Invited tutorial on maximum satisfiability in software analysis at VMCAI 2018.

About Me

I have been at the University of Pennsylvania since 2016 where I am a part of the PL Club and the PRECISE Center.

Research

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.

For more details, see papers and projects.