Hey! I’m Sean and I’m a co-founder of Optimyze, a company specialising in low level software optimisation, and a PhD candidate at the University of Oxford, where I am exploring approaches to automatic exploit generation. My research interests are broadly under the umbrella of ‘algorithms that can understand other algorithms’. More specifically (although not really) I enjoy learning about and working on operating systems, formal methods, theorem provers, vulnerability detection, exploit development, machine learning, optimisation and program synthesis. You can find out more via [code][publications][CV], or just drop me an email via firstname . lastname at gmail.com.