Principal Applied Scientist, Automated Reasoning Group at Amazon