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
|CoqPL 2021||Author of Automated Synthesis of Verified Firewalls within the CoqPL-track|