Tristan is a Principal Applied Scientist at AWS, where he uses Automated Reasoning to scale security automation. He has been applying automated program reasoning techniques to improve the safety and security of established systems for the last 15 years. For some reason, he is also passionate about binary analysis.