Stefan Zetzsche is an Applied Scientist with the Automated Reasoning Group at Amazon Web Services, based in London, United Kingdom. Before that, he was a PhD student in the Programming Principles, Logic, and Verification Group at University College London, where he was supervised by Alexandra Silva.