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.

Research interests

David works on a range of topics in logic, in security and privacy, and in distributed systems. At Turing, David has helped establish the Turing’s activity in ‘logical foundations of data science’, and is interested in the relationship been logical reasoning and machine learning. He is also interested in questions about access control in distributed systems, security and privacy policy, and the economics of security management. He is also interested in understanding basic questions in distributed systems architecture and behaviour, including the relationship between systems management policies and systems architecture. David addresses these issues using ideas and techniques from logic, theoretical computer science, and economics.