Sign In

Shardul Chiplunkar

Student at Massachusetts Institute of Technology

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

Highlights

Nov 10 · popl21.sigplan.org
Shardul Chiplunkar - POPL 2021
Shardul Chiplunkar - POPL 2021
Dec 6 · twitter.com
Massachusetts Institute of Technology (MIT) on X: "Senior Shardul ...
Dec 5 · news.mit.edu
The intersection of math, computers, and everything else | MIT News
The intersection of math, computers, and everything else | MIT News

Related Questions

What are some of Shardul Chiplunkar's most notable projects at MIT?
How did Shardul Chiplunkar's diverse interests influence his academic path?
What is Shardul Chiplunkar's role at EPFL?
Can you tell me more about Shardul Chiplunkar's work on probabilistic programming languages?
What inspired Shardul Chiplunkar to pursue a career in computer science?
Shardul Chiplunkar
Shardul Chiplunkar, photo 1
Shardul Chiplunkar, photo 2
Add to my network

Location

Greater Boston