Write a Blog >>
POPL 2021
Sun 17 - Fri 22 January 2021 Online
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 Automated Synthesis of Verified Firewalls
Show activities from other conferences

POPL 2021-profile
View general profile