Accepting applications from PhD students.
Email: A.V.Gheorghiu@soton.ac.uk
Alexander Gheorghiu is a logician working at the intersection of proof theory, semantics, and computation. He holds a PhD in Logic and Informatics from University College London, where his thesis developed the semantic foundations for reductive logic (the mathematical basis to proof-search and automated reasoning). His research investigates what makes a proof valid and how logical inference — human or automated — can be understood structurally and semantically.
Currently, Alexander is developing a major figure in both the foundations and applications of proof-theoretic semantics, a novel approah to logic in which inferential relationships are made explicit rather than implicit over abstract algebraic structure. His broader goal is to provide a mathematical foundation for reasoning that reflects how proofs are actually found and used, rather than merely formalized.