Shardul Chiplunkar

Registered user since Mon 14 Dec 2020

Name:Shardul Chiplunkar
Bio:

PhD student in computer science (PL/SE) at EPFL. Research interests: how can we get better at thinking about, explaining, and programming complex software systems? Programming languages, methods, tools, interfaces for software that is more robust, efficient, extensible, understandable.

Country:Switzerland
Affiliation:EPFL
Research interests:Programming Languages, Software Engineering

Contributions

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