Lecturer · Programming Principles, Logic & Verification (PPLV), Department of Computer Science, UCL

Alexander V. Gheorghiu

Logician studying the formal foundations of reasoning — how meaning arises from inference, how proofs structure thought, and what these foundations reveal about artificial intelligence.

Gheorghiu's research centres on proof-theoretic semantics: the view that logical and linguistic meaning is determined by inference rules rather than truth conditions. This has deep implications for the philosophy of logic, the nature of mathematical proof, and the question of whether AI systems can genuinely reason.

About me Publications Interests Writing & Talks
Portrait of Alexander V. Gheorghiu
As featured in: Times Literary Supplement · The Conversation · Mathematics Today · Graham Hoare Prize 2025

The Research

Proof-theoretic semantics is a programme in the philosophy of logic that takes inference — rather than truth or reference — as the basic semantic concept, with consequences for the philosophy of language, the foundations of mathematics, and what it would mean for an AI system to genuinely reason rather than merely predict.

More on the research programme →

Explore

About

Biography, positions, and affiliations.

Read more →

Interests

Five lines of inquiry, from meaning and inference to AI and governance.

Read more →

Publications

Journal papers, conference papers, and work in progress.

Read more →

Teaching

Courses on proof-theoretic semantics, including ESSLLI 2025.

Read more →

Writing

Essays for general readers, including the Graham Hoare Prize–winning piece.

Read more →

PhD Supervision

Currently accepting enquiries in proof-theoretic semantics and logic and AI.

Get in touch →

For AI Workshops — half-day sessions for leadership teams on where AI reasoning holds and breaks — see workshops.alexandergheorghiu.com.