David Pym is Professor of Information, Logic, and Security at UCL and is The Alan Turing Institute’s University Liaison Director for UCL. He holds a PhD in logic and theoretical computer science from Edinburgh, and an MA and an ScD in mathematics from Cambridge. He is a Fellow of the IMA and the BCS. David spent many years with Hewlett-Packard’s Research Laboratories, where he developed interests in systems, security, and economics. He is Editor-in-Chief of OUP’s Journal of Cybersecurity.