Writing & Engagement

Author profiles: The Conversation · Times Literary Supplement

Essays & Articles

• Saul Kripke
  Times Literary Supplement (to appear) · Alexander V. Gheorghiu
• By inference: An alternative account of logic
  Times Literary Supplement · October 2025 · Alexander V. Gheorghiu
  Why the foundations of logic matter for how we build and trust intelligent systems.
• High School Algebra and the Limits of AI
  Mathematics Today · October 2025 · Alexander V. Gheorghiu · Graham Hoare Prize 2025
  What school mathematics reveals about what AI genuinely cannot do. Graham Hoare Prize 2025.
• The Mathematics of Double-checking Programs
  Mathematics Today · January 2025 · Alexander V. Gheorghiu
  How formal verification methods underpin reliable software and AI.
• Researchers have invented a new system of logic that could boost critical thinking and AI
  The Conversation · November 2024 · Alexander V. Gheorghiu
  A new logical framework with implications for AI reasoning and critical thinking.

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