Writing & Engagement

Author profiles: The Conversation · Times Literary Supplement

Essays & Articles

Times Literary Supplement  ·  May 2026

A world in which AI feels pain

Saul Kripke’s Naming and Necessity, half a century on — and what his possible worlds mean for whether a machine could feel.

Read →

Times Literary Supplement  ·  October 2025

By inference: An alternative account of logic

Why the foundations of logic matter for how we build and trust intelligent systems.

Read →

Mathematics Today  ·  October 2025  ·  Graham Hoare Prize 2025

High School Algebra and the Limits of AI

What school mathematics reveals about what AI genuinely cannot do.

Read →

Mathematics Today  ·  January 2025

The Mathematics of Double-checking Programs

How formal verification methods underpin reliable software and AI.

Read →

The Conversation  ·  November 2024

Researchers have invented a new system of logic that could boost critical thinking and AI

A new logical framework with implications for AI reasoning and critical thinking.

Read →

Selected Talks

• How Do AI Systems Reason? A Study in Logic
  ECS Logic Seminar, University of Southampton · 2025
• A Survey of Proof-theoretic Semantics
  BIRS Workshop, Banff International Research Station, Canada · 2025
• Inferentialism and Logic
  Center for Logic, Language, and Cognition, Peking University · 2026
• Communicating Research beyond Academia
  EPSRC CDT in Cybersecurity, London · 2026

Media & Interviews