David J. Pym

Professor David J. Pym holds the position of Professor of Information, Logic, and Security at University College London's Department of Computer Science. He is also an affiliated faculty member in the Department of Philosophy and serves as Head of the Programming Principles, Logic, and Verification Group. His roles include Director of UCL's Centre for Doctoral Training in Cybersecurity, and Honorary Research Fellow jointly directing the Centre for Logic, Language, and Information (CeLLi) at the Institute of Philosophy, School of Advanced Study, University of London.

Education includes a ScD from the University of Cambridge and a PhD from the University of Edinburgh. His research spans proof-theoretic semantics, reductive logic, security economics, and systems modeling. He leads major grants such as the EPSRC-funded IRIS Programme and the Leverhulme Trust grant on proof-theoretic semantics. His awards include fellowships from the Royal Society of Arts and the Alan Turing Institute.

Key publications include foundational work on reductive logic and proof-search, bunched logics, and cybersecurity modeling. He advises on policy matters for the UK government and contributes to interdisciplinary education initiatives in philosophy and computer science.