Gheorghiu's research sits at the intersection of logic, philosophy, and computer science, focusing on the foundations of reasoning — how meaning arises from inference, how proofs structure thought, and how these foundations bear on contemporary intelligent systems.
Research Themes
Inferential approaches to meaning, especially proof-theoretic semantics and the role of inference in determining logical content. This work explores how meaning arises from the use of expressions within systems of reasoning and justification, taking inference rather than truth or representation as semantically primitive.
The relationship between formal reasoning, explanation, and artificial intelligence. This includes questions about the nature of reasoning, interpretability, and the distinction between prediction and justification in intelligent systems — what it would mean for a machine not merely to answer, but to give reasons.
The mathematical structure of proofs and their applications in computation, distributed systems, and automated reasoning. Proof search, reductive logic, and the algebraic constraints that shape proof systems are recurring themes.
The use of logical and formal methods to represent policies, rules, institutional structures, and normative systems — including emerging questions surrounding governance and regulation in computational and AI-enabled environments.
Research Questions
Can meaning be explained in terms of inference rather than truth conditions or representation?
As AI systems become increasingly sophisticated, what separates genuine reasoning from statistical pattern matching?
How should intelligent systems justify their conclusions to human users?
Can formal methods represent rules, norms, and institutional constraints in complex computational environments?
What role do proofs play in mathematics, computation, and intelligent reasoning systems?
PhD Supervision
Gheorghiu welcomes enquiries from prospective students interested in logic, philosophy of AI, proof theory, semantics, automated reasoning, formal methods, intelligent systems, and explainability. Students from interdisciplinary backgrounds are especially encouraged to apply.
Enquiries to alexvgheo@gmail.com or the Contact page.
Community
Gheorghiu organises the Symposium on Proof-theoretic Semantics, an international forum for researchers working on meaning-theoretic approaches to logic.
Refereeing. Logic in Computer Science; Mathematical Structures in Computer Science; Bulletin of the Section of Logic; Logical Methods in Computer Science; Journal of Cybersecurity; Studia Logica; Australasian Journal of Logic; Topoi; Autonomous Agents and Multi-agent Systems; Journal of the IGPL.
Membership. Institute of Mathematics and its Applications; London Mathematical Society; Association for Symbolic Logic.