Shardul Chiplunkar uses interests in computing and mathematics to better explain and understand complex software systems, and to develop better tools and methodologies for large-scale professional software development, through fundamental research in the theory of programming languages and human-computer interaction.