Office: BOS17 - Amazon, Boston, MA
Email: saspadhi amazon.com
Programming Languages, Software Verification, Statistical Learning, Program Synthesis
I am an applied scientist in the proof platforms (P2) team within the Automated Reasoning Group at Amazon Web Services. I am currently working on adding unbounded proof support to our verification infrastructure.
I am interested in all aspects of designing and implementing high-performance systems that have strong correctness guarantees. My PhD research was focused around using program synthesis and statistical learning techniques to aid development of formally verified software.