The intersection of math, computers, and everything else
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.
Shardul Chiplunkar Wellesley Toons Adam Chlipala Research Opportunities Program Artificial Intelligence Laboratory Department Of Brain
Source: mit.edu