Leaving Arm, and a new job at AWS

I have now left Arm Research and will be taking up a position as a Principal Applied Scientist within the Automated Reasoning Group at AWS.