Contact

Gheorghiu's research sits at the intersection of logic, philosophy, mathematics, and computer science, with a particular focus on the nature of reasoning, the foundations of meaning, and the role of formal systems in understanding intelligent behaviour.

Much of his work concerns proof-theoretic semantics — an inferential approach to meaning that studies how linguistic and logical expressions acquire significance through their role in reasoning and justification.

He is also exploring the relevance of these ideas to intelligent systems, especially in relation to explanation, interpretability, and formal reasoning in computational environments.

Gheorghiu is open to speaking engagements and conversations with organisations thinking seriously about AI and reasoning.