David Pym

Professor David Pym serves as Professor of Information, Logic, and Security in the Department of Computer Science at University College London (UCL), where he maintains an active research program bridging theoretical computer science, mathematical logic, and practical cybersecurity applications.

Professor Pym's research spans several interconnected domains:

• Cybersecurity and privacy, with particular focus on security support interactions and trust-building mechanisms in organizational settings
• Mathematical logic, especially proof theory, semantics, and resource-aware logical systems
• Formal methods for system modeling, verification, and interface theory
• Reductive reasoning and inferentialist approaches to logical frameworks

His recent publications reveal a significant evolution from purely theoretical logical frameworks toward practical applications in cybersecurity. A distinctive trend is his development of base-extension semantics applied across multiple logical systems, combined with increasing collaboration with cybersecurity researchers to address real-world security challenges through logical frameworks. His work demonstrates how foundational logical research can inform and improve security practices, particularly through co-design methodologies that integrate diverse perspectives in security modeling.

Professor Pym maintains an active collaborative research program with colleagues including Gheorghiu, Gu, Caulfield, and Bujorianu, producing significant contributions to both theoretical foundations and practical applications in information security. His approach uniquely combines rigorous formal methods with practical considerations of implementation and human factors in security systems.