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: https://www.mit.edu/~shardulc/

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

Contributions

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