Write a Blog >>
PLDI 2021
Sun 20 - Sat 26 June 2021 Virtual Conference
Saswat Padhi

Registered user since Fri 22 Jan 2016

Name: Saswat Padhi

Bio: I am an Applied Scientist within the Automated Reasoning Group (ARG) at AWS. I work on program verification and synthesis technologies.

Country: United States

Affiliation: Amazon Web Services, USA

Personal website: https://www.padhi.us

Research interests: Programming Languages, Program Synthesis, Program Verification, Statistical Learning


PLDI 2021 Committee Member in Program Committee within the PLDI-track
Show activities from other conferences

Using general profile