The intersection of math, computers, and everything else

Senior Shardul Chiplunkar aims to be a translator between the tech world and the rest of society.

School of Science, MIT Schwarzman College of Computing, Brain and cognitive sciences, Linguistics, Mathematics, Computer Science and Artificial Intelligence Laboratory (CSAIL), Undergraduate Research Opportunities Program (UROP), Students, Undergraduate, Profile, India, Computer science and technology, Human-computer interaction, Programming, Software, Technology and society, Internet, spinning fire, glass blowing, MIT/Wellesley Toons, Professor Adam Chlipala, Joshua Rule

“Because complex software is now so important in the world, I want the computing industry — and myself — to be better able to engage with a wider audience,” says MIT senior Shardul Chiplunkar. Photo: Steph Stephens

Shardul Chiplunkar, a senior in Course 18C (mathematics with computer science), entered MIT interested in computers, but soon he was trying everything from spinning fire to building firewalls. He dabbled in audio engineering and glass blowing, was a tenor for the MIT/Wellesley Toons a capella group, and learned to sail.

“When I was entering MIT, I thought I was just going to be interested in math and computer science, academics and research,” he says. “Now what I appreciate the most is the diversity of people and ideas.”

Academically, his focus is on the interface between people and programming. But his extracurriculars have helped him figure out his secondary goal, to be a sort of translator between the technical world and the professional users of software.

“I want to create better conceptual frameworks for explaining and understanding 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,” he says.

It’s a role he was practically born to play. Raised in Silicon Valley just as the dot-com bubble was at its peak, he was drawn to computers at an early age. He was 8 when his family moved to Pune, India, for his father’s job as a networking software engineer. In Pune, his mother also worked as a translator, editor, and radio newscaster. Chiplunkar eventually could speak English, Hindi, French, and his native Marathi.

At school, he was active in math and coding competitions, and a friend introduced him to linguistic puzzles, which he recalls “were kind of like math.” He went on to excel in the Linguistics Olympiad, where secondary school students solve problems based on the scientific study of languages — linguistics.

Chiplunkar came to MIT to study what he calls “the perfect major,” course 18C. But as the child of a tech dad and a translator mom, it was perhaps inevitable that Chiplunkar would figure out how to combine the two subjects into a unique career trajectory.

While he was a natural at human languages, it was a Computer Science and Artificial Intelligence Laboratory  Undergraduate Research Opportunities Program that cemented his interest in researching programming languages. Under Professor Adam Chlipala, he developed a specification language for internet firewalls, and a formally verified compiler to convert such specifications into executable code, using correct-by-construction software synthesis and proof techniques.

“Suppose you want to block a certain website,” explains Chiplunkar. “You open up your firewall and enter the address of the website, how long you want to block it, and so on. You have some parameters in a made-up language that tells the firewall what code to run. But how do you know the firewall will translate that language into code without any mistakes? That was the essence of the project. I was trying to create a language to mathematically specify the behavior of firewalls, and to convert it into code and prove that the code will do what you want it to do. The software would come with a mathematically proven guarantee.”

He has also explored adjacent interests in probabilistic programming languages and program inference through cognitive science research, working under Professor Tobias Gerstenberg at Stanford University and later under Joshua Rule in the Tenenbaum lab in MIT’s Department of Brain and Cognitive Sciences.

“In regular programming languages, the basic data you deal with, the atoms, are fixed numbers,” says Chiplunkar. “But in probabilistic programming languages, you deal with probability distributions. Instead of the constant five, you might have a random variable whose average value is five, but every time you run the program it’s somewhere between zero and 10. It turns out you can compute with these probabilities, too — and it’s a more powerful way to produce a computer model of some aspects of human cognition. The language lets you express concepts that you couldn’t express otherwise.”

“A lot of the reasons I like computational cognitive science are the same reasons I like programming and human language,” he explains. “Human cognition can often be expressed in a representation that is like a programming language. It’s more of an abstract representation. We have no idea what actually happens in the brain, but the hypothesis is that at some level of abstraction, it’s a good model of how cognition works.”

Chiplunkar also hopes to bring an improved understanding of modern software systems into the public sphere, to empower tech-curious communities such as lawyers, policymakers, doctors, and educators. To aid in this quest, he’s taken courses at MIT on internet policy and copyright law, and avidly follows the work of digital rights and liberties activists. He believes that programmers need fundamentally new language and concepts to talk about the architecture of computer systems for broader societal purposes.

“I want us to be able to explain why a surgeon should trust a robotic surgery assistant, or how a law about data storage needs to be updated for modern systems,” he says. “I think that creating better conceptual languages for complex software is just as important as creating better practical tools. Because complex software is now so important in the world, I want the computing industry — and myself — to be better able to engage with a wider audience.”

News Related

OTHER NEWS

A new language for quantum computing

Twist is an MIT-developed programming language that can describe and verify which pieces of data are entangled to prevent bugs in a quantum program. Read more »

Astonishment as SNP claims ‘clear signs of Covid recovery' pave way for second independence vote

John Swinney insisted that some sectors are ‘in a stronger position today’ than before the pandemic – Fraser Bremner/Daily Mail/PA Wire Hospitality leaders have expressed astonishment after Nicola Sturgeon's deputy ... Read more »

Meat Loaf's home with wife Deborah didn't pay tribute to music career

After Meat Loaf, whose real name is Michael Lee Aday, sadly passed away at the age of 74, tributes have been pouring in from his followers remembering his incredible music ... Read more »

Meghan King Goes on 'Empowering' Solo Ski Trip to Utah After Cuffe Owens Split: 'Here's to Me'

Meghan King Goes on ‘Empowering’ Solo Ski trip to Utah After Cuffe Biden Owens Split Meghan King/Instagram Meghan King is traveling solo! Last week, the Real Housewives of Orange County ... Read more »

Sarah Palin tests positive for Covid, delaying New York Times defamation trial

Photograph: Steve Nesius/Reuters ‘She is, of course, unvaccinated’, judge says after positive test Former Alaska governor suing newspaper over 2017 editorial Sarah Palin has tested positive for the coronavirus – ... Read more »

Life Sciences Supermind Report outlines proposed solutions to re-imagine the global health ecosystem

Collective intelligence methodology identifies key findings to accelerate the pace of innovation and build health resilience. Read more »

MIT Energy Initiative launches the Future Energy Systems Center

New MITEI consortium focuses on speeding the energy transition, engaging with industrial leaders to deploy clean energy advances at scale. Read more »

When will the Motorola Edge 30 be released in the UK? Here's everything you need to know

The handset is expected to arrive in the summer (iStock/The Independent) Motorola might not be the dominant force it once was – we still remember our Razr flip phone fondly ... Read more »

An 11-year-old with abdominal pain 3 months after getting COVID-19 still had the coronavirus in her gut

A slide from the girl’s biopsy reveals the coronavirus in her gut, seen here as brown shading.Dalia Arostegui et al./JPGN Reports/Insider Scientists found signs of the coronavirus in a girl's ... Read more »

Partygate: Two Things That Everyone Is Pointing Out About Sue Gray's Report

Sue Gray is set to reveal the findings of her investigation into Partygate this week (Photo: Getty/PA) Sue Gray’s report into the parties which allegedly took place throughout the pandemic ... Read more »

Maida Vale: Woman stabbed to death before knifeman run over and killed as driver ‘tries to save her'

Police have launched an investigation into the deaths of a woman and the man who reportedly killed her in west London. Officers were called at 9am on Monday 24 January ... Read more »

Met apologises to woman for ‘sexist, derogatory' language in strip-search

Force pays compensation to Dr Konstancja Duff for language used after CCTV captures officers’ comments The Metropolitan police has apologised and paid compensation to an academic for “sexist, derogatory and ... Read more »

ITV Revamps Pre-9pm Schedule: Extends Evening News, Moves Soaps Back-to-Back

U.K. broadcaster ITV is making key changes to its pre-9pm schedule, including extending the evening news and putting its two biggest soaps, “Coronation Street” and “Emmerdale,” back to back. Presented ... Read more »

Porsche's new infotainment system now features full Spotify integration

Porsche is rolling out a new sixth-generation infotainment system to many of its core models as its cars become more connected. The system, known as Porsche Communication Management (PCM) has ... Read more »

The Earth's core is cooling surprisingly fast, scientists say – and it could tell us how our planet dies

(Getty Images) The Earth’s core is cooling more quickly than we realised, scientists have found – and the discovery could have important implications for the future of our planet. The ... Read more »

The best VPN services to protect your privacy in 2022

We may receive commission from purchases made via links on this page. Pricing and availability are subject to change. There are dozens of VPN services out there. Choose any of ... Read more »

Mars reflections that suggested there is water on surface of red planet may be just an illusion, scientists say

© Independent Breaking News Sparkling reflections on Mars that led to hopes of water on the planet might actually have just been an illusion, scientists have said. In 2018, researchers ... Read more »

Scientists are closely watching an Omicron subtype spreading in Denmark, the UK, Singapore and India

BA.2 is harder to detect on lab tests than BA.1.Leon Neal/Getty Images Scientists worldwide are closely tracking an Omicron subtype, called BA.2. In Denmark BA.2 is surpassing the BA.1 Omicron ... Read more »

The James Webb Space Telescope glides to its deep-space parking spot today! How to follow it online.

© Provided by Space An artist’s depiction of the fully deployed James Webb Space Telescope completing its final burn to reach orbit around L2. Today’s the day: Nearly a month ... Read more »

40 quintillion stellar-mass black holes are lurking in the universe, new study finds

© Provided by Space An illustration of a black hole and its event horizon. Scientists have estimated the number of “small” black holes in the universe. And no surprise: It’s ... Read more »

Coronation Street and Emmerdale set to move to new timeslots

Corrie and Emmerdale to get a schedule revamp from March 2022 credit:Bang Showbiz 'Coronation Street' and 'Emmerdale' are set to move to new timeslots. The ITV soap operas will undergo ... Read more »

COVID travel tests to be scrapped for double jabbed arrivals, Boris Johnson announces

Prime Minister Boris Johnson wears a face mask during a visit to Milton Keynes University Hospital in Buckinghamshire. Picture date: Monday January 24, 2022. Boris Johnson has said changes to ... Read more »

Tory MP Stuns People By Declaring Islamophobia Can Only Impact 'Obvious' Muslims

Tory MP Michael Fabricant waded into the Islamophobia row on Sunday (Photo: Jeff J Mitchell via Getty Images) Michael Fabricant lashed out at his Tory colleague Nusrat Ghani over her ... Read more »

Christopher Biggins on surprising Judi Dench with an incredible special guest

Legendary performer Christopher Biggins relives the moment he shocked Judi Dench by revealing a surprise special guest in her dressing room. White Wine Question Time with Kate Thornton is the ... Read more »

Woman who only buys second-hand shares her thrifting tips

Josie Barnes is using her flair for fashion to help save the planet by buying secondhand clothes. (Collect/PA Real Life) A woman who only buys second-hand in order to help ... Read more »

We can end 'emergency phase' of COVID in 2022, says World Health Organisation

The WHO has warned that Covid should not be treated ilke flu. (Stock image: Getty) The World Health Organisation has said it hopes to be able to end the “emergency ... Read more »

Strictly Come Dancing winner Rose Ayling-Ellis snapped holding hands with co-star

Rose Ayling-Ellis has been loving the Strictly Come Dancing tour so far, but a recent snap revealed that the dance show had proved too much for the EastEnders actress and ... Read more »

Emma Thompson talks about the ‘challenge' of shooting full-frontal nude scenes ‘at the age that I am'

Emma Thompson has opened up the “difficulty” of shooting nude scenes “at the age that I am”. The 62-year-old spoke about rehearsing “entirely nude” and filming a full-frontal scene for ... Read more »

Boeing sinks more money into electric air taxi project it’s co-developing with Kitty Hawk

Wisk Aero, the electric air taxi startup, raised $450 million from Boeing in a new funding round that it claims will make it “one of the most well-funded [advanced air ... Read more »

Tonga underwater volcanic eruption unleashed explosive forces equivalent to up to 30 MILLION tonnes of TNT – hundreds of times more powerful than the Hiroshima atomic bomb, NASA reveals

Tonga eruption unleashed explosive forces that dwarfed the power of HiroshimaAtomic bomb dropped on Japanese city in WW2 was about 15,000 tonnes of TNTIn comparison this month's eruption released up to 30 million tonnes over Tonga Read more »

Evan Rachel Wood says Marilyn Manson 'essentially raped' her while filming 2007 music video

Evan Rachel Wood.Todd Williamson/Getty Images Evan Rachel Wood said Marilyn Manson “essentially raped” her when they filmed a music video together in 2007. She said she was told there would ... Read more »

Recreational drones banned in United Arab Emirates after oil facility attack

The United Arab Emirates (UAE) has banned the flying of consumer drones by hobbyists. The news comes after a suspected drone attack hit an oil facility and airport in the ... Read more »

Swimmers stranded as large great white shark lurks around popular diving spot

Swimmers stranded as large great white shark lurks around popular diving spot Read more »

Martina Navratilova slams 'cowardly' Australian Open for banning Peng Shuai solidarity T-shirts

Martina Navratilova brands ‘cowardly’ Australian Open for banning Peng Shuai solidarity T-shirts – Reuters Martina Navratilova said Australian Open organisers had acted “cowardly” by preventing fans from wearing shirts bearing ... Read more »

Our Ticket to Interstellar Space Is a Shiny, Ultra-Thin Metallic Blanket

NASA Two-and-a-half years ago, a tiny spacecraft soared into the sky aboard a Space X rocket blasting off from Kennedy Space Center in Florida. Settling into an orbit 426 miles ... Read more »

Xbox series X stock - live: Argos and EE restocks are available this morning – how to get one

We’re expecting more retailers to restock the Xbox in the UK soon (iStock/The Independent) Update: The Xbox series X is in stock at Argos and for EE customers. Read on ... Read more »

First picture of 'funny and quiet' teen, 16, stabbed to death in Manchester

Kennie Carter, 16, died after he was stabbed in Stretford, Greater Manchester. (Reach) This is the first picture of a 16-year-old boy described as a “beautiful young soul”, who died ... Read more »

Call the Midwife: viewers all have same complaint about episode four

The BBC's popular period drama, Call the Midwife, continued on Sunday night with its fourth episode of the new series – and viewers all had the same complaint. MORE: This ... Read more »

Yakuza director announces new studio after leaving Sega

Toshihiro Nagoshi, former chief creative officer at Sega, where he led development of the Yakuza series as general director of Ryu Ga Gotoku Studio, has announced his next move. He’s ... Read more »

Deputy PM: Very significant risk of Russia invading Ukraine

Deputy Prime Minister Dominic Raab says there is a “very significant risk” that Russia will mount an invasion of Ukraine and insists that the UK, along with allies will impose ... Read more »
On free-english-test.com you will find lots of free English exam practice materials to help you improve your English skills: grammar, listening, reading, writing, ielts, toeic