Office: BOS17 - Amazon, Boston, MA
Email: saspadhi amazon.com
Programming Languages, Program Synthesis and Verification, Statistical Learning
My current research is focused on using program synthesis to aid users in writing highly reliable software. I design techniques to help developers generate formal specifications for their programs as well as synthesize sufficient invariants that provably establish their correctness.