Shardul Chiplunkar

Registered user since Mon 14 Dec 2020

Name: Shardul Chiplunkar

Bio: Undergrad at MIT studying mathematics and computer science. Undergraduate researcher in Programming Languages & Verification lab at MIT CSAIL, and MIT Computational Cognitive Science group.

Affiliation: Massachusetts Institute of Technology

Personal website:

Research interests: Programming Languages, Computation, Logic, Language, Intelligence


CoqPL 2021 Author of Automated Synthesis of Verified Firewalls within the CoqPL-track