Shardul Chiplunkar

Shardul Chiplunkar is a notable student at the Massachusetts Institute of Technology (MIT), where he pursued a Bachelor of Science in Mathematics with Computer Science (Course 18C). He is recognized for his interdisciplinary approach, blending technical expertise with a keen interest in human-computer interaction and programming languages.

Academic Background

Chiplunkar entered MIT with a strong interest in computers but expanded his horizons to include various extracurricular activities like audio engineering, sailing, and performing in the MIT/Wellesley Toons a cappella group. His academic focus lies at the intersection of mathematics and computer science, particularly in developing better conceptual frameworks for understanding complex software systems. He aims to bridge the gap between technical programming and its practical applications for users in various fields such as law and education.12

During his time at MIT, Chiplunkar engaged in significant research, notably under Professor Adam Chlipala. He worked on creating a specification language for internet firewalls, ensuring that the code generated from these specifications would function correctly through mathematical proofs. This work exemplifies his commitment to enhancing software reliability and security.1

Research Interests

Chiplunkar's research interests extend into probabilistic programming languages and cognitive science. He has collaborated with researchers at Stanford University and MIT to explore how probabilistic models can better represent human cognition compared to traditional programming paradigms. His goal is to empower diverse communities by providing them with a clearer understanding of modern software systems.14

Personal Background

Originally from Silicon Valley, Chiplunkar moved to Pune, India, at the age of eight. His multilingual background includes proficiency in English, Hindi, French, and Marathi. This linguistic versatility complements his technical skills, allowing him to communicate complex ideas across different audiences effectively.12

Chiplunkar graduated from MIT in 2022 and is currently pursuing further studies as a PhD student at the École Polytechnique Fédérale de Lausanne (EPFL) in Switzerland.23