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